🔗 Who cites «TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models»

19 papers of our library cite it (of the 149,439 whose bibliographies we read) · 9 with a page here, the most cited first · ← back to «TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models»

1. Towards Large Reasoning Models: A Survey of Reinforced Reasoning with Large Language ModelsarXiv:2501.09686Fengli Xu, Qianyue Hao, Zefang Zong, et al.2025 · 120 citations
2. DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic DataarXiv:2405.14333Huajian Xin, Daya Guo, Zhihong Shao, et al.2024 · 111 citations
3. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
4. Process-Driven Autoformalization in Lean 4arXiv:2406.01940Jianqiao Lu, Yingjia Wan, Zhengying Liu, et al.2024 · 33 citations
5. MUSTARD: Mastering Uniform Synthesis of Theorem and Proof DataarXiv:2402.08957 (ICLR 2024 spotlight)Yinya Huang, Xiaohan Lin, Zhengying Liu, et al.2024 · 29 citations
6. Proving Theorems RecursivelyConference on Neural Information Processing Systems (NeurIPS)Haiming Wang, Huajian Xin, Zhengying Liu, et al.2024 · 19 citations
7. FormalAlign: Automated Alignment Evaluation for AutoformalizationarXiv:2410.10135Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.2024 · 18 citations
8. Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal VerificationAnnual Meeting of the Association for Computational Linguistics (ACL)Chengwu Liu, Ye Yuan, Yichun Yin, et al.2025 · 17 citations
9. Generalizable LLM Learning of Graph Synthetic Data with Post-training AlignmentFindings of the Association for Computational LinguisticsYizhuo Zhang, Heng Wang, Shangbin Feng, et al.2026

10 more papers of our library cite it; they have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/papers/xiong-2023-trigo-benchmarking-formal-mathematical-proof/cited-by/