arXiv · cs.CL（语言与教育交叉）· Omar Farouk Zouak, Houssam Eddine Boukhalfa, Soumaya Lakehal, Shiv Katiyar, Samia Nefti-Meziani·· 7 天前AI 评分27
SymCE：用逐定理符号验证器生成反例，模仿学习有害而强化学习可修复
Counterexample Generation via Per-Theorem Symbolic Verifiers: When Imitation Hurts and Reinforcement Repairs
AI 导读
研究者发布 SymCE 数据集，包含 4,707 道本科代数与实分析假猜想，每题配有可执行的逐定理 Python 验证器，该验证器同时充当奖励函数。
来源：arXiv · cs.CL（语言与教育交叉） · arxiv.org