arXiv 自然语言处理· Debargha Ganguly, Weicong Chen, Mohsen Hariri, Vikash Singh, Sreehari Sankar, Shouren Wang, Wang Yang, Biyao Zhang, Chaoda Song, Alexander Nemecek, Kai Ye, Osama Zafar, Erman Ayday, Joe Stubbs, Srinivasan Iyengar, Vipin Chaudhary·· 12 小时前AI 评分39
Sequent-Prover：训练基于 SMT 的形式化可检查推理智能体
Sequent-Prover: Training Agents for Formal, Checkable SMT-based Reasoning
AI 导读
研究人员提出 Sequent-Prover 智能体家族及后训练框架，通过在可执行 SMT-LIB 中编写程序并多轮调用 Z3 求解器，实现形式化且可验证的逻辑推理。
来源：arXiv 自然语言处理 · arxiv.org