openbmb/MiniCPM5-2B-SFT
Text Generation • 3B • Updated • 47 • 20
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