Cite
Notes
Only stored in your browser.
Attribution
TheoremForge: Scaling up Formal Data Synthesis with Low-Budget Agentic Workflow
arXiv 2026
Assisting Mathematical Formalization with A Learning-based Premise Retriever
arXiv 2025
from 2 papers
Hongteng Xu
Haotian Liu
Shanwen Wang