IMProofBench
Informal Mathematical Proof Benchmark
An AI benchmark for research-level mathematical reasoning
Questions
Browse, create, and edit mathematical proof questions with LaTeX support, live preview, and optional auto-gradable subquestions.
Participants
Manage participants who can author questions or review submissions. Add researchers, configure permissions, and track contributions.