🔗 Who cites «Learning a SAT Solver from Single-Bit Supervision»

56 papers of our library cite it (of the 149,439 whose bibliographies we read) · 12 with a page here, the most cited first · ← back to «Learning a SAT Solver from Single-Bit Supervision»

1. Relational inductive biases, deep learning, and graph networksarXiv:1806.01261Peter W. Battaglia, Jessica B. Hamrick, Victor Bapst, et al.2018 · 2,335 citations
2. Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language modelsarXiv:2206.04615 · Transactions on Machine Learning Research, May/2022, https://openreview.net/forum?id=uyTL5BvosjAarohi Srivastava, Abhinav Rastogi, Abhishek Rao, et al.2022 · 1,756 citations
3. Evaluating Models' Local Decision Boundaries via Contrast SetsMatt Gardner, Yoav Artzi, Victoria Basmov, et al.2020 · 531 citations
4. Transformers as Soft Reasoners over LanguageInternational Joint Conference on Artificial IntelligencePeter Clark, Oyvind Tafjord, Kyle Richardson2020 · 382 citations
5. ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural LanguageFindings of the Association for Computational LinguisticsOyvind Tafjord, Bhavana Dalvi, Peter Clark2021 · 335 citations
6. Analysing Mathematical Reasoning Abilities of Neural ModelsarXiv:1904.01557David Saxton, Edward Grefenstette, Felix Hill, et al.2019 · 288 citations
7. Generative Language Modeling for Automated Theorem ProvingarXiv:2009.03393Stanislas Polu, Ilya Sutskever2020 · 241 citations
8. What Can Transformers Learn In-Context? A Case Study of Simple Function ClassesConference on Neural Information Processing Systems (NeurIPS)Shivam Garg, Dimitris Tsipras, Percy Liang, et al.2022 · 209 citations
9. Formal Mathematics Statement Curriculum LearningarXiv:2202.01344Stanislas Polu, Jesse Michael Han, Kunhao Zheng, et al.2022 · 133 citations
10. PRover: Proof Generation for Interpretable Reasoning over RulesConference on Empirical Methods in Natural Language Processing (EMNLP)Swarnadeep Saha, Sayan Ghosh, Shashank Srivastava, et al.2020 · 103 citations
11. SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMsAnnual Meeting of the Association for Computational Linguistics (ACL)Yanxiao Zhao, Yaqian Li, Zihao Bo, et al.2026
12. Methods for Constraint Solving Problems Based on Learn to Reason Model: A Review (基于学习-推理的约束求解方法研究进展)Journal of SoftwareYue Zou (邹悦), Jiayang Lai (赖家洋), Yonggang Zhang (张永刚)2023

44 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/selsam-2018-learning-sat-solver-single-bit/cited-by/