ENTITY
IMO-GradingBench
IMO-GradingBench
PulseAugur coverage of IMO-GradingBench — every cluster mentioning IMO-GradingBench across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
2
2 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
New framework uses Lean proof assistant for AI math verification
Researchers have developed LeanPRM, a novel framework that leverages the Lean proof assistant to generate step-level correctness labels for AI-generated mathematical proofs. This system pairs natural language proofs wit…
-
Cheap LLMs match frontier models in grading math proofs
A new arXiv paper explores the cost-effectiveness of using smaller, open-weight language models for grading mathematical proofs. The study found that models like GPT-OSS 120B, DeepSeek-V4 Flash, and Gemma-4 31B can achi…