TY  - RPRT
TI  - CAM-Bench: A Benchmark for Computational and Applied Mathematics in Lean
AU  - Wentao Long
AU  - Yunfei Zhang
AU  - Chenyi Li
AU  - Li Zhou
AU  - Chumin Sun
AU  - Zaiwen Wen
PY  - 2026
UR  - https://arxiv.org/abs/2605.17255
ID  - 2605.17255
ER  -