TY  - RPRT
TI  - TheoremForge: Scaling up Formal Data Synthesis with Low-Budget Agentic Workflow
AU  - Yicheng Tao
AU  - Hongteng Xu
PY  - 2026
UR  - https://arxiv.org/abs/2601.17332
ID  - 2601.17332
ER  -