Learning to Disprove: Formal Counterexample Generation with Large Language Models.

arXiv:2603.19514v2 Announce Type: replace Abstract: Mathematical reasoning demands two critical, complementary skills: constructing rigorous proofs for true statements and discovering counterexamples that disprove false ones. However, current AI efforts in mat