Awesome Neural Symbolic

A list of awesome neural symbolic papers.

Projects

Neurosymbolic Programming by Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama and Yisong Yue. Foundations and Trends® in Programming Languages 2021.
Neurosymbolic AI: The 3rd Wave by Artur d'Avila Garcez, Luis C. Lamb. 2020.

Code2Inv: A Deep Learning Framework for Program Verification by Xujie Si, Aaditya Naik, Hanjun Dai, Mayur Naik, Le Song. CAV 2020.
Learning Loop Invariants for Program Verification by Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song. NeurIPS 2018.

Manthan: A Data Driven Approach for Boolean Function Synthesis by Priyanka Golia, Subhajit Roy, Kuldeep S. Meel. CAV 2020.
Learning Symbolic Rules for Reasoning in Quasi-Natural Language by Kaiyu Yang, Jia Deng.
Learning to Prove Theorems by Learning to Generate Theorems by Mingzhe Wang, Jia Deng. NeurIPS 2020.
Learning to Reason in Large Theories without Imitation by Kshitij Bansal, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Viktor Toman.
DeepLogic: Towards End-to-End Differentiable Logical Reasoning by Nuri Cingillioglu, Alessandra Russo. AAAI 2019.
comments
Check whether a logic program entails a given query. Does not rely on prior hand-coded structure.
Guiding High-Performance SAT Solvers with Unsat-Core Predictions by Daniel Selsam, Nikolaj Bjørner. SAT 2019.
Learning a SAT Solver from Single-Bit Supervision by Daniel Selsam, Matthew Lamm, Benedikt Bünz, Percy Liang, Leonardo de Moura, David L. Dill. ICLR 2019.

CURE: Code-Aware Neural Machine Translation for Automatic Program Repair by Nan Jiang, Thibaud Lutellier, Lin Tan. ICSE 2021.
DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning by Kevin Ellis, Catherine Wong, Maxwell Nye, Mathias Sable-Meyer, Luc Cary, Lucas Morales, Luke Hewitt, Armando Solar-Lezama, Joshua B. Tenenbaum. 2020.
DeepProbLog: Neural Probabilistic Logic Programming by Robin Manhaeve, Sebastijan Dumančić, Angelika Kimmig, Thomas Demeester, Luc De Raedt. NeurIPS 2018, Spotlight.
Learning to Infer Graphics Programs from Hand-Drawn Images by Kevin Ellis, Daniel Ritchie, Armando Solar-Lezama, Joshua B. Tenenbaum. NeurIPS 2018, Spotlight.
Neuro-Symbolic Program Synthesis by Emilio Parisotto, Abdel-rahman Mohamed, Rishabh Singh, Lihong Li, Dengyong Zhou, Pushmeet Kohli. ICLR 2017.

Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning by Jiani Huang, Ziyang Li, Binghong Chen, Karan Samel, Mayur Naik, Le Song, Xujie Si. NeurIPS 2021.
Techniques for Symbol Grounding with SATNet by Sever Topan, David Rolnick, Xujie Si. NeurIPS 2021.
Temporal and Object Quantification Networks by Jiayuan Mao, Zhezheng Luo, Chuang Gan, Joshua B. Tenenbaum, Jiajun Wu, Leslie Pack Kaelbling, Tomer D. Ullman. IJACI 2021.
Logical Neural Networks by Ryan Riegel, Alexander Gray, Francois Luus, Naweed Khan, Ndivhuwo Makondo, Ismail Yunus Akhalwaya, Haifeng Qian, Ronald Fagin, Francisco Barahona, Udit Sharma, Shajith Ikbal, Hima Karanam, Sumit Neelam, Ankita Likhyani, Santosh Srivastava. 2020.
SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver by Po-Wei Wang, Priya L. Donti, Bryan Wilder, Zico Kolter. ICML 2019.
Neural Logic Machines by Honghua Dong, Jiayuan Mao, Tian Lin, Chong Wang, Lihong Li, Denny Zhou. ICLR 2019.

Composing Neural Learning and Symbolic Reasoning with an Application to Visual Discrimination by Adithya Murali, Atharva Sehgal, Paul Krogmeier and P. Madhusudan. IJCAI 2022.
Grammar-Based Grounded Lexicon Learning by Jiayuan Mao, Freda Shi, Jiajun Wu, Roger Levy, Josh Tenenbaum. NeurIPS 2021.
Visually Grounded Neural Syntax Acquisition by Haoyue Shi, Jiayuan Mao, Kevin Gimpel, Karen Livescu. ACL 2019 (Best Paper Nomination).
The Neuro-Symbolic Learner: Interpreting Scenes, Words, and Sentences From Natural Supervision by Jiayuan Mao, Chuang Gan, Pushmeet Kohli, Joshua B. Tenenbaum, Jiajun Wu. ICLR 2019 (Oral).

We encourage all contributions to this repository. Open an issue or send a pull request.