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