#

math-benchmark

Here is 1 public repository matching this topic...

mathTensor / AI4Math-Putnam2025

MathTensor Lean 4 formalizations of Putnam 2025 problems, with machine-verified Mathlib proofs.

formal-verification automated-theorem-proving lean4 putnam ai4math mathlib4 math-benchmark putnam2025

Updated May 19, 2026
Lean

Improve this page

Add a description, image, and links to the math-benchmark topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the math-benchmark topic, visit your repo's landing page and select "manage topics."