GitHub · 去对齐工具与仓库·· 17 小时前精选AI 评分60
ProofOfThought v2.0 发布 agentic SMT-LIB 草稿板后端
DebarghaG/proofofthought
来源与原文
GitHub · 去对齐工具与仓库
发布时间：（北京时间）
阅读原始来源 · github.com ↗完整链接与内容说明
https://github.com/DebarghaG/proofofthought
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
ProofOfThought 发布 v2.0，将基于 Z3 定理证明的 LLM 推理默认后端改为 agentic 范式：模型迭代调用 z3_solve 工具、读取 sat/unsat 判定并修复编码，以反证法确立答案，每个答案附带 proof_status 和可机器复验的 SMT 轨迹，无决定性判定的提前结束会被拒绝。该循环在数万条 agent 轨迹上测试，旧的单次 smt2 和 json 后端仍受支持，可用 AgenticBackend.reverify() 独立复验轨迹。
推荐理由
仓库给出 agentic 与单次后端在 5 个推理数据集上的基准数据，并支持本地 vLLM/sglang 端点，可作 LLM 加求解器方法的可复用基线。
来源：GitHub · 去对齐工具与仓库 · github.com