arXiv · Computation and Language· Omar Farouk Zouak, Houssam Eddine Boukhalfa, Soumaya Lakehal, Shiv Katiyar, Samia Nefti-Meziani·· 16 小时前AI 评分47
反例生成中的逐定理符号验证器：模仿为何失效、强化如何修复
Counterexample Generation via Per-Theorem Symbolic Verifiers: When Imitation Hurts and Reinforcement Repairs
AI 导读
研究把反例生成建模为对确定性逐定理 Python 验证器的约束见证输出，并发布 SymCE 语料，含 4,707 条虚假本科代数与实分析猜想及可执行验证器，验证器同时充当奖励函数。
来源：arXiv · Computation and Language · arxiv.org