Construction-Verification: A Benchmark for Applied Mathematics in Lean 4

Bowen Yang, Yi Yuan, Chenyi Li +5

Recent advances in large language models have demonstrated impressive capabilities in mathematical formalization. However, existing benchmarks focus on logical verification of decl…