🔍 Enumerate–Conjecture–Prove: Formally Solving Answer-Construction Problems in Math Competitions
Background: We identify that current mathematical reasoning approaches either generate creative answers (LLMs) but fail to verify them formally, or verify rigorously (symbolic provers) but cannot efficiently generate answers.
Contribution:
We introduce ECP framework: a modular neuro-symbolic pipeline that integrates a feedback-driven autoformalization stage… See the full description on the dataset page:
https://huggingface.co/datasets/sunjia72/ConstructiveBench.
