CAM-Bench: A Benchmark for Computational and Applied Mathematics in Lean
arXiv:2605.17255v1 Announce Type: new Abstract: Formal theorem-proving benchmarks enable mechanically verifiable evaluation of mathematical reasoning in large language models. However, existing benchm