A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation

Beibei Xiong, Hangyu Lv, Haojia Shan +3

Large language models (LLMs) have significantly advanced formal theorem proving, yet the scarcity of high-quality training data constrains their capabilities in complex mathematica…