MathForm Improves Math Autoformalization with Retrieval and Verification
openbmb · hf · 2026-08-19
MathForm improves autoformalization by retrieving Mathlib knowledge and iteratively refining outputs with verification feedback, yielding a large verified dataset and a high-performing 8B model.
More from Research
- Tencent Releases CoinVE-200K Dataset and 22B Video Editing Model — tencent · 2026-08-19
- HarnessEval Open Sources Agentic Benchmarking Framework for Dynamic Model Evaluation — ziqi_huang_ · 2026-08-19
- The Science Behind Prompt Engineering: Why Old Tricks Fail and How to Adapt — rubenhassid · 2026-08-19
- Anthropic's protein design PR dissected: open-source models did most of the lifting — teortaxesTex · 2026-08-19
- Agent Team Dynamics May Reflect Specific Training, Research Suggests — giffmana · 2026-08-19
- CoRL 2026 to host workshop on continually self-improving robots — chris_j_paxton · 2026-08-19