Counterexample generation via per-theorem symbolic verifiers; release of SymCE corpus of 4,707 false conjectures with executable verifiers
Read the original at arxiv.org→arXiv:2610.02444v1 Announce Type: new Abstract: Large language models often solve a theorem forward yet fail to disprove a closely related false one: a falsification gap that supervised fine-tuning does not close...
Original headline: "Counterexample Generation via Per-Theorem Symbolic Verifiers: When Imitation Hurts and Reinforcement Repairs"
Coverage timeline
- Oct 5, 04:00 UTC arXiv cs.CL lead source Counterexample Generation via Per-Theorem Symbolic Verifiers: When Imitation Hurts and Reinforcement Repairs