🧑‍🔬 Who cites Qingxiang Wang

69 citations of their works from 52 papers of our library (of the 149,439 whose bibliographies we read) · 30 with a page here, the most cited first · ← Qingxiang Wang

1. A Survey of Large Language ModelsFrontiers of Computer ScienceWayne Xin Zhao, Kun Zhou, Junyi Li, et al.2023 · 2,875 citations
2. LeanDojo: Theorem Proving with Retrieval-Augmented Language ModelsConference on Neural Information Processing Systems (NeurIPS)Kaiyu Yang, Aidan M. Swope, Alex Gu, et al.2023 · 253 citations
3. Autoformalization with Large Language ModelsarXiv:2205.12615Yuhuai Wu, Albert Q. Jiang, Wenda Li, et al.2022 · 204 citations
4. 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
5. 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
6. ProofNet: Autoformalizing and Formally Proving Undergraduate-Level MathematicsarXiv:2302.12433Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, et al.2023 · 142 citations
7. Proof Artifact Co-training for Theorem Proving with Language ModelsarXiv:2102.06203Jesse Michael Han, Jason Rute, Yuhuai Wu, et al.2021 · 82 citations
8. LEGO-Prover: Neural Theorem Proving with Growing LibrariesarXiv:2310.00656Haiming Wang, Huajian Xin, Chuanyang Zheng, et al.2023 · 79 citations
9. NaturalProofs: Mathematical Theorem Proving in Natural LanguagearXiv:2104.01112Sean Welleck, Jiacheng Liu, Ronan Le Bras, et al.2021 · 76 citations
10. 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
11. Mathematical Reasoning via Self-supervised Skip-tree TrainingarXiv:2006.04757Markus N. Rabe, Dennis Lee, Kshitij Bansal, et al.2020 · 54 citations
12. Lean-STaR: Learning to Interleave Thinking and ProvingarXiv:2407.10040Haohan Lin, Zhiqing Sun, Sean Welleck, et al.2024 · 51 citations
13. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
14. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
15. Don't Trust: Verify — Grounding LLM Quantitative Reasoning with AutoformalizationarXiv:2403.18120Jin Peng Zhou, Charles Staats, Wenda Li, et al.2024 · 45 citations
16. IsarStep: a Benchmark for High-level Mathematical ReasoningarXiv:2006.09265Wenda Li, Lei Yu, Yuhuai Wu, et al.2020 · 43 citations
17. First Neural Conjecturing Datasets and ExperimentsLecture notes in computer scienceJosef Urban, Jan Jakubův2020 · 40 citations
18. LIME: Learning Inductive Bias for Primitives of Mathematical ReasoningarXiv:2101.06223Yuhuai Wu, Markus Rabe, Wenda Li, et al.2021 · 39 citations
19. Multilingual Mathematical AutoformalizationarXiv:2311.03755Albert Q. Jiang, Wenda Li, Mateja Jamnik2023 · 37 citations
20. Herald: A Natural Language Annotated Lean 4 DatasetarXiv:2410.10878Guoxiong Gao, Yutong Wang, Jiedong Jiang, et al.2024 · 33 citations
21. Process-Driven Autoformalization in Lean 4arXiv:2406.01940Jianqiao Lu, Yingjia Wan, Zhengying Liu, et al.2024 · 33 citations
22. Lyra: Orchestrating Dual Correction in Automated Theorem ProvingarXiv:2309.15806Chuanyang Zheng, Haiming Wang, Enze Xie, et al.2023 · 24 citations
23. Autoformalizing Euclidean GeometryarXiv:2405.17216Logan Murphy, Kaiyu Yang, Jialiang Sun, et al.2024 · 23 citations
24. Stateful Premise Selection by Recurrent Neural NetworksEPiC series in computingBartosz Piotrowski, Josef Urban2020 · 21 citations
25. Towards a Mathematics Formalisation Assistant using Large Language ModelsarXiv:2211.07524Ayush Agrawal, Siddhartha Gadgil, Navin Goyal, et al.2022 · 19 citations
26. FormalAlign: Automated Alignment Evaluation for AutoformalizationarXiv:2410.10135Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.2024 · 18 citations
27. 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
28. Guiding Inferences in Connection Tableau by Recurrent Neural NetworksLecture notes in computer scienceBartosz Piotrowski, Josef Urban2019 · 15 citations
29. GFLean: An Autoformalisation Framework for Lean via GFarXiv:2404.01234Shashank Pathak2024 · 5 citations
30. miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path ForwardConference on Neural Information Processing Systems (NeurIPS)Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh2025 · 4 citations

22 more citing papers of our library have no page here yet.

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/authors/qingxiang-wang/cited-by/