--- title: "Who cites Don't Trust: Verify — Grounding — 42 citing papers" description: "42 papers of the Elamur Research library cite «Don't Trust: Verify — Grounding LLM Quantitative Reasoning with Autoformalization», found in…" canonical: "https://research.elamur.ai/free/en/papers/zhou-2024-don-t-trust-verify-grounding/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/zhou-2024-don-t-trust-verify-grounding/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Don't Trust: Verify — Grounding LLM Quantitative…](https://md.research.elamur.ai/free/en/papers/zhou-2024-don-t-trust-verify-grounding/) / cited by # Who cites «Don't Trust: Verify — Grounding LLM Quantitative Reasoning with Autoformalization» 42 papers of our library cite it (of the 149,439 whose bibliographies we read) · 20 with a page here, the most cited first · [← back to «Don't Trust: Verify — Grounding LLM Quantitative Reasoning with Autoformalization»](https://md.research.elamur.ai/free/en/papers/zhou-2024-don-t-trust-verify-grounding/) 1. **[Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Models](https://md.research.elamur.ai/free/en/papers/chen-2025-towards-reasoning-era-survey-long/) [Science China Information Sciences](https://md.research.elamur.ai/free/en/venues/science-china-information-sciences/)**Qiguang Chen, Libo Qin, Jinhao Liu, et al.*2025 · 176 citations* 2. [**Lean-STaR: Learning to Interleave Thinking and Proving arXiv:2407.10040**Haohan Lin, Zhiqing Sun, Sean Welleck, et al.*2024 · 51 citations*](https://md.research.elamur.ai/free/en/papers/lin-2024-lean-star-learning-interleave-thinking/) 3. [**Formal Mathematical Reasoning: A New Frontier in AI arXiv:2412.16075**Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.*2024 · 49 citations*](https://md.research.elamur.ai/free/en/papers/yang-2024-formal-mathematical-reasoning-new-frontier/) 4. [**A Survey on Deep Learning for Theorem Proving arXiv:2404.09939**Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.*2024 · 46 citations*](https://md.research.elamur.ai/free/en/papers/li-2024-survey-deep-learning-theorem-proving/) 5. [**Herald: A Natural Language Annotated Lean 4 Dataset arXiv:2410.10878**Guoxiong Gao, Yutong Wang, Jiedong Jiang, et al.*2024 · 33 citations*](https://md.research.elamur.ai/free/en/papers/gao-2024-herald-natural-language-annotated-lean/) 6. **[Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency](https://md.research.elamur.ai/free/en/papers/li-2024-autoformalize-mathematical-statements-symbolic-equivalence/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Zenan Li, Yifan Wu, Zhaoyu Li, et al.*2024 · 19 citations* 7. **[Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification](https://md.research.elamur.ai/free/en/papers/liu-2025-safe-enhancing-mathematical-reasoning-large/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Chengwu Liu, Ye Yuan, Yichun Yin, et al.*2025 · 17 citations* 8. **[ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data](https://md.research.elamur.ai/free/en/papers/liu-2025-atlas-autoformalizing-theorems-through-lifting/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, et al.*2025 · 16 citations* 9. **[Neuro-Symbolic Data Generation for Math Reasoning](https://md.research.elamur.ai/free/en/papers/li-2024-neuro-symbolic-data-generation-math/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Zenan Li, Zhi Zhou, Yuan Yao, et al.*2024 · 14 citations* 10. **[Theorem Prover as a Judge for Synthetic Data Generation](https://md.research.elamur.ai/free/en/papers/leang-2025-theorem-prover-as-judge-synthetic/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Joshua Ong Jun Leang, Giwon Hong, Wenda Li, et al.*2025 · 9 citations* 11. [**A Survey on Feedback-based Multi-step Reasoning for Large Language Models on Mathematics arXiv:2502.14333**Ting-Ruen Wei, Haowei Liu, Xuyang Wu, et al.*2025 · 7 citations*](https://md.research.elamur.ai/free/en/papers/wei-2025-survey-feedback-based-multi-step/) 12. **[Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability](https://md.research.elamur.ai/free/en/papers/wang-2025-let-s-reason-formally-natural/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Ruida Wang, Yuxin Li, Yi R. Fung, et al.*2025 · 7 citations* 13. [**StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion arXiv:2508.04440**Yutong Wu, Di Huang, Ruosi Wan, et al.*2025 · 7 citations*](https://md.research.elamur.ai/free/en/papers/wu-2025-stepfun-formalizer-unlocking-autoformalization/) 14. [**ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization arXiv:2510.15981**Rafael Cabral, Tuan Manh Do, Xuejun Yu, et al.*2025 · 5 citations*](https://md.research.elamur.ai/free/en/papers/cabral-2025-proofflow-dependency-graph-approach-faithful/) 15. **[Graders Should Cheat: Privileged Information Enables Expert-Level Automated Evaluations](https://md.research.elamur.ai/free/en/papers/zhou-2025-graders-should-cheat-privileged-information/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Jin Peng Zhou, Séb Arnold, Nan Ding, et al.*2025 · 3 citations* 16. **[Argument-Based Consistency in Toxicity Explanations of LLMs](https://md.research.elamur.ai/free/en/papers/mothilal-2026-argument-based-consistency-toxicity-explanations/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Ramaravind Kommiya Mothilal, Joanna Roy, Syed Ishtiaque Ahmed, et al.*2026 · 2 citations* 17. **[ReProbe: Efficient Test-Time Scaling of Multi-Step Reasoning by Probing Internal States of Large Language Models](https://md.research.elamur.ai/free/en/papers/ni-2026-reprobe-efficient-test-time-scaling/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Jingwei Ni, Ekaterina Fadeeva, Tianyi Wu, et al.*2026 · 1 citation* 18. **[Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier](https://md.research.elamur.ai/free/en/papers/zhong-2026-solve-detect-verify-inference-time/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Jianyuan Zhong, Zeju Li, Zhijian Xu, et al.*2026 · 1 citation* 19. **[Format-Adapter: Improving Reasoning Capability of LLMs by Adapting Suitable Format](https://md.research.elamur.ai/free/en/papers/wang-2026-format-adapter-improving-reasoning-capability/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Dingzirui Wang, Xuanliang Zhang, Rongyu Cao, et al.*2026* 20. **[STCOR: A Trilevel Syllogism-Driven Reasoning Framework](https://md.research.elamur.ai/free/en/papers/yang-2026-stcor-trilevel-syllogism-driven-reasoning/) [Workshop on Argument Mining](https://md.research.elamur.ai/free/en/venues/argmining/)**Keying Yang, Hao Wang, Chengtao Jian, et al.*2026* 22 more papers of our library cite it; they have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/papers/zhou-2024-don-t-trust-verify-grounding/) — Don't Trust: Verify — Grounding LLM Quantitative Reasoning with Autoformalization