AGI Hunt· May_F1_·· 2 小时前AI 评分50
Lean4AgenticRL：用形式验证给 Agentic RL 加过程奖励，SWE-Bench 提升 20.2%
Lean4AgenticRL:形式验证给 Agent RL 加过程奖励,SWE-Bench 提升 20.2%
AI 导读
团队发布 Lean4AgenticRL 框架，声称是首个把形式验证应用到开放域 agentic RL 的方法，用前置/后置条件谓词在执行前验证工作流自洽性并提供过程奖励。
来源：AGI Hunt · agihunt.info