Qingxing Cao

ATG: Benchmarking Automated Theorem Generation for Generative Language Models

2024

Humans can develop new theorems to explore broader and more complex mathematical results.While current generative language models (LMs) have achieved significant improvement in automatically proving theorems, their ability to generate new or reusable theorems is …