TY  - RPRT
TI  - Construction-Verification: A Benchmark for Applied Mathematics in Lean 4
AU  - Bowen Yang
AU  - Yi Yuan
AU  - Chenyi Li
AU  - Ziyu Wang
AU  - Liangqi Li
AU  - Bo Zhang
AU  - Zhe Li
AU  - Zaiwen Wen
PY  - 2026
UR  - https://arxiv.org/abs/2602.01291
ID  - 2602.01291
ER  -