MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement
Paper • 2608.14221 • Published • 5
Lushi Pu
daypu
·
AI & ML interests
Large Language Models
Recent Activity
submitted a paper about 10 hours ago
MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement authored a paper 2 days ago
MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided RefinementOrganizations
None yet