🔗 Who cites «Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar»

32 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 «Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar»

1. Autoformalization with Large Language ModelsarXiv:2205.12615Yuhuai Wu, Albert Q. Jiang, Wenda Li, et al.2022 · 204 citations
2. Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal ProofsarXiv:2210.12283Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, et al.2022 · 178 citations
3. LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic ProversConference on Empirical Methods in Natural Language Processing (EMNLP)Theo X. Olausson, Alex Gu, Benjamin Lipkin, et al.2023 · 172 citations
4. Proof Artifact Co-training for Theorem Proving with Language ModelsarXiv:2102.06203Jesse Michael Han, Jason Rute, Yuhuai Wu, et al.2021 · 82 citations
5. NaturalProofs: Mathematical Theorem Proving in Natural LanguagearXiv:2104.01112Sean Welleck, Jiacheng Liu, Ronan Le Bras, et al.2021 · 76 citations
6. NaturalProver: Grounded Mathematical Proof Generation with Language ModelsConference on Neural Information Processing Systems (NeurIPS)Sean Welleck, Jiacheng Liu, Ximing Lu, et al.2022 · 62 citations
7. Mathematical Reasoning via Self-supervised Skip-tree TrainingarXiv:2006.04757Markus N. Rabe, Dennis Lee, Kshitij Bansal, et al.2020 · 54 citations
8. Lean-STaR: Learning to Interleave Thinking and ProvingarXiv:2407.10040Haohan Lin, Zhiqing Sun, Sean Welleck, et al.2024 · 51 citations
9. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
10. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
11. Don't Trust: Verify — Grounding LLM Quantitative Reasoning with AutoformalizationarXiv:2403.18120Jin Peng Zhou, Charles Staats, Wenda Li, et al.2024 · 45 citations
12. IsarStep: a Benchmark for High-level Mathematical ReasoningarXiv:2006.09265Wenda Li, Lei Yu, Yuhuai Wu, et al.2020 · 43 citations
13. First Neural Conjecturing Datasets and ExperimentsLecture notes in computer scienceJosef Urban, Jan Jakubův2020 · 40 citations
14. LIME: Learning Inductive Bias for Primitives of Mathematical ReasoningarXiv:2101.06223Yuhuai Wu, Markus Rabe, Wenda Li, et al.2021 · 39 citations
15. Multilingual Mathematical AutoformalizationarXiv:2311.03755Albert Q. Jiang, Wenda Li, Mateja Jamnik2023 · 37 citations
16. Process-Driven Autoformalization in Lean 4arXiv:2406.01940Jianqiao Lu, Yingjia Wan, Zhengying Liu, et al.2024 · 33 citations
17. Lyra: Orchestrating Dual Correction in Automated Theorem ProvingarXiv:2309.15806Chuanyang Zheng, Haiming Wang, Enze Xie, et al.2023 · 24 citations
18. Towards a Mathematics Formalisation Assistant using Large Language ModelsarXiv:2211.07524Ayush Agrawal, Siddhartha Gadgil, Navin Goyal, et al.2022 · 19 citations
19. ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of DataConference on Neural Information Processing Systems (NeurIPS)Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, et al.2025 · 16 citations
20. GFLean: An Autoformalisation Framework for Lean via GFarXiv:2404.01234Shashank Pathak2024 · 5 citations

12 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/wang-2019-exploration-neural-machine-translation-autoformalization/cited-by/