Elamur Research⌕
☰
home / papers / Deep Network Guided Proof Search / cited by

Who cites «Deep Network Guided Proof Search»

47 papers of our library cite it (of the 149,439 whose bibliographies we read) · 11 with a page here, the most cited first · ← back to «Deep Network Guided Proof Search»

  1. 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
  2. Generative Language Modeling for Automated Theorem ProvingarXiv:2009.03393Stanislas Polu, Ilya Sutskever2020 · 241 citations
  3. Autoformalization with Large Language ModelsarXiv:2205.12615Yuhuai Wu, Albert Q. Jiang, Wenda Li, et al.2022 · 204 citations
  4. A Survey of Machine Learning for Big Code and NaturalnessACM Computing SurveysMiltiadis Allamanis, Earl T. Barr, Premkumar Devanbu, et al.2017 · 167 citations
  5. Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic ReasoningarXiv:2105.04165Pan Lu, Ran Gong, Shibiao Jiang, et al.2021 · 139 citations
  6. Deep Learning for Symbolic MathematicsarXiv:1912.01412Guillaume Lample, François Charton2019 · 138 citations
  7. Formal Mathematics Statement Curriculum LearningarXiv:2202.01344Stanislas Polu, Jesse Michael Han, Kunhao Zheng, et al.2022 · 133 citations
  8. DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic DataarXiv:2405.14333Huajian Xin, Daya Guo, Zhihong Shao, et al.2024 · 111 citations
  9. Learning to Prove Theorems via Interacting with Proof AssistantsarXiv:1905.09381Kaiyu Yang, Jia Deng2019 · 90 citations
  10. LEGO-Prover: Neural Theorem Proving with Growing LibrariesarXiv:2310.00656Haiming Wang, Huajian Xin, Chuanyang Zheng, et al.2023 · 79 citations
  11. HOList: An Environment for Machine Learning of Higher-Order Theorem ProvingarXiv:1904.03241Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, et al.2019 · 78 citations

36 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/loos-2017-deep-network-guided-proof-search/cited-by/