openbmb/MA-ProofBench
Viewer • Updated • 200 • 352 • 9
Large Language Models
MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement
Beyond Reward Engineering: A Data Recipe for Long-Context Reinforcement Learning