formal-specification

HyPOLE提出了一种在部分可观测性下进行多智能体强化学习的框架，它通过HyperLTL时序逻辑进行超属性引导学习，并与集中训练分散执行（CTDE）集成，在SMAC、MessySMAC和WildFire基准测试上展示了优于基线的结果。

讨论AI生成代码中形式规范的必要性，并介绍PICK，一种利用人类判断帮助程序员为LLM生成的正则表达式指定所需属性的工具。