arXiv Artificial Intelligence· 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·· 17 小时前AI 评分40
Sequent-Prover：训练基于 SMT 的形式化可验证推理智能体
Sequent-Prover: Training Agents for Formal, Checkable SMT-based Reasoning
AI 导读
Sequent-Prover 是一类使用验证器的语言模型智能体及其后训练框架，智能体在可执行的 SMT-LIB 草稿本中推理，编写完整 SMT-LIB 程序、跨轮查询 Z3、检查求解器反馈并修复形式化。
来源：arXiv Artificial Intelligence · arxiv.org