Who cites «Premise Selection for Theorem Proving by Deep Graph Embedding»
- oLMpics — On what Language Model Pre-training CapturesTransactions of the Association for Computational Linguistics (TACL)Alon Talmor, Yanai Elazar, Yoav Goldberg, et al.2019 · 440 citations
- Generative Language Modeling for Automated Theorem ProvingarXiv:2009.03393Stanislas Polu, Ilya Sutskever2020 · 241 citations
- Formal Mathematics Statement Curriculum LearningarXiv:2202.01344Stanislas Polu, Jesse Michael Han, Kunhao Zheng, et al.2022 · 133 citations
- Learning to Represent Programs with GraphsarXiv:1711.00740Miltiadis Allamanis, Marc Brockschmidt, Mahmoud Khademi2017 · 127 citations
- GamePad: A Learning Environment for Theorem ProvingarXiv:1806.00608Daniel Huang, Prafulla Dhariwal, Dawn Song, et al.2018 · 94 citations
- Learning to Prove Theorems via Interacting with Proof AssistantsarXiv:1905.09381Kaiyu Yang, Jia Deng2019 · 90 citations
- Thor: Wielding Hammers to Integrate Language Models and Automated Theorem ProversarXiv:2205.10893Albert Q. Jiang, Wenda Li, Szymon Tworkowski, et al.2022 · 79 citations
- 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
- Premise Order Matters in Reasoning with Large Language ModelsarXiv:2402.08939Xinyun Chen, Ryan A. Chi, Xuezhi Wang, et al.2024 · 58 citations
- A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
- INT: An Inequality Benchmark for Evaluating Generalization in Theorem ProvingarXiv:2007.02924Yuhuai Wu, Albert Qiaochu Jiang, Jimmy Ba, et al.2020 · 41 citations
- Lean Copilot: Large Language Models as Copilots for Theorem Proving in LeanarXiv:2404.12534Peiyang Song, Kaiyu Yang, Anima Anandkumar2024 · 39 citations
- LIME: Learning Inductive Bias for Primitives of Mathematical ReasoningarXiv:2101.06223Yuhuai Wu, Markus Rabe, Wenda Li, et al.2021 · 39 citations
- Learning to Reason in Large Theories without ImitationarXiv:1905.10501Kshitij Bansal, Christian Szegedy, Markus N. Rabe, et al.2019 · 36 citations
- Magnushammer: A Transformer-Based Approach to Premise SelectionarXiv:2303.04488Maciej Mikuła, Szymon Tworkowski, Szymon Antoniak, et al.2023 · 35 citations
- Graph Representations for Higher-Order Logic and Theorem ProvingProceedings of the AAAI Conference on Artificial IntelligenceAditya Paliwal, Sarah Loos, Markus Rabe, et al.2019 · 33 citations
- Property Invariant Embedding for Automated ReasoningFrontiers in artificial intelligence and applicationsMiroslav Olšák, Cezary Kaliszyk, Josef Urban2019 · 30 citations
- TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement LearningarXiv:2102.09756Minchao Wu, Michael Norrish, Christian Walder, et al.2021 · 24 citations
- Solving Formal Math Problems by Decomposition and Iterative ReflectionarXiv:2507.15225Yichi Zhou, Jianqiu Zhao, Yongxin Zhang, et al.2025 · 16 citations
- Guiding High-Performance SAT Solvers with Unsat-Core PredictionsarXiv:1903.04671 (International Conference on Theory and Applications of Satisfiability Testing. Springer, Cham, 2019)Daniel Selsam, Nikolaj Bjørner2019 · 16 citations
- Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement LearningarXiv:1811.00796Mitsuru Kusumoto, Keisuke Yahata, Masahiro Sakai2018 · 15 citations
- MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data CurationConference on Neural Information Processing Systems (NeurIPS)Zhenwen Liang, Linfeng Song, Yang Li, et al.2025 · 4 citations
- Neural Wani: Toward Accelerating the Automated Theorem Prover wani for Dependent Type TheoryWorkshop on the Bridges and Gaps between Formal and Computational LinguisticsNanako Miyagawa, Hinari Daido, Daisuke Bekki2026
This page in Markdown → https://md.research.elamur.ai/free/en/papers/wang-2017-premise-selection-theorem-proving-deep/cited-by/