@misc{indiciae2f62cfda3c63,
  title = {TheoremForge: Scaling up Formal Data Synthesis with Low-Budget Agentic Workflow},
  author = {Yicheng Tao and Hongteng Xu},
  year = {2026},
  url = {https://arxiv.org/abs/2601.17332},
  note = {Source identifier: 2601.17332}
}