Fetching the paper…
Reading the bibliography…
Neuro-symbolic learning generally consists of two separated worlds, i.e., neural network training and symbolic constraint solving, whose success hinges on symbol grounding, a fundamental problem in AI.
Equation of state calculations by fast computing machines
Nicholas Metropolis, Arianna W Rosenbluth, Marshall N Rosenbluth, Augusta H Teller, and Edward Teller · 1953
Earlier work this paper cites.
Binary decision diagrams
Sheldon B. Akers · 1978
Earlier work this paper cites.
The complexity of enumeration and reliability problems
Leslie G Valiant · 1979
Earlier work this paper cites.
Random generation of combinatorial structures from a uniform distribution
Mark R Jerrum, Leslie G Valiant, and Vijay V Vazirani · 1986
Earlier work this paper cites.
The metropolis algorithm
Gyan Bhanot · 1988
Earlier work this paper cites.
Cooling schedules for optimal annealing
Bruce Hajek · 1988
Earlier work this paper cites.
Simple statistical gradient-following algorithms for connectionist reinforcement learning
Ronald J Williams · 1992
Earlier work this paper cites.
A comparison of simulated annealing cooling strategies
Yaghout Nourani and Bjarne Andresen · 1998
Earlier work this paper cites.
The metropolis algorithm
Isabel Beichl and Francis Sullivan · 2000
Earlier work this paper cites.
A knowledge compilation map
Adnan Darwiche and Pierre Marquis · 2002
Earlier work this paper cites.
The theory and practice of simulated annealing
Darrall Henderson, Sheldon H Jacobson, and Alan W Johnson · 2003
Earlier work this paper cites.
Information theory, inference and learning algorithms
David JC MacKay, David JC Mac Kay, et al · 2003
Earlier work this paper cites.
Three problems in computer science
Leslie G Valiant · 2003
Earlier work this paper cites.
Towards efficient sampling: Exploiting random walk strategies
Wei Wei, Jordan Erenrich, and Bart Selman · 2004
Earlier work this paper cites.
Near-uniform sampling of combinatorial spaces using xor constraints
Carla P Gomes, Ashish Sabharwal, and Bart Selman · 2006
Earlier work this paper cites.
A tutorial on energy-based learning
Yann LeCun, Sumit Chopra, Raia Hadsell, M Ranzato, and F Huang · 2006
Earlier work this paper cites.
Solving sat and sat modulo theories: From an abstract davis–putnam–logemann–loveland procedure to dpll (t)
Robert Nieuwenhuis, Albert Oliveras, and Cesare Tinelli · 2006
Earlier work this paper cites.
Elements of information theory
MTCAJ Thomas and A Thomas Joy · 2006
Earlier work this paper cites.
Problog: A probabilistic prolog and its application in link discovery
Luc De Raedt, Angelika Kimmig, and Hannu Toivonen · 2007
Earlier work this paper cites.
Exploring network structure, dynamics, and function using networkx
Aric Hagberg, Pieter Swart, and Daniel S Chult · 2008
Earlier work this paper cites.
Z3: An efficient smt solver
Leonardo de Moura and Nikolaj Bjørner · 2008
Earlier work this paper cites.
Computational complexity: a modern approach
Sanjeev Arora and Boaz Barak · 2009
Earlier work this paper cites.
An adaptive directional metropolis-within-gibbs algorithm
Yan Bai · 2009
Earlier work this paper cites.
Boolean satisfiability from theoretical hardness to practical success
Sharad Malik and Lintao Zhang · 2009
Earlier work this paper cites.
Artificial intelligence a modern approach
Stuart J Russell · 2010
Earlier work this paper cites.
The random walk metropolis: linking theory and practice through a case study
Chris Sherlock, Paul Fearnhead, and Gareth O Roberts · 2010
Cited alongside, same era.
Sdd: A new canonical representation of propositional knowledge bases
Adnan Darwiche · 2011
Cited alongside, same era.
Uniform solution sampling using a constraint solver as an oracle
Stefano Ermon, Carla Gomes, and Bart Selman · 2012
Cited alongside, same era.
A scalable approximate model counter
Supratik Chakraborty, Kuldeep S Meel, and Moshe Y Vardi · 2013
Cited alongside, same era.
Pseudo-label: The simple and efficient semi-supervised learning method for deep neural networks
Dong-Hyun Lee et al · 2013
Cited alongside, same era.
On the value of commitment
Joshua Letchford, Dmytro Korzhyk, and Vincent Conitzer · 2014
Cited alongside, same era.
Approximate counting, the lovász local lemma, and inference in graphical models
Ankur Moitra · 2019
Later among the works it cites.
A primal dual formulation for deep learning with constraints
Yatin Nandwani, Abhishek Pathak, and Parag Singla · 2019
Later among the works it cites.
Probabilistic neural symbolic models for interpretable visual question answering
Ramakrishna Vedantam, Karan Desai, Stefan Lee, Marcus Rohrbach, Dhruv Batra, and Devi Parikh · 2019
Later among the works it cites.
Satnet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver
Po-Wei Wang, Priya Donti, Bryan Wilder, and Zico Kolter · 2019
Later among the works it cites.
Mathematics and computation
Avi Wigderson · 2019
Later among the works it cites.
Abductive learning: towards bridging machine learning and logical reasoning
Zhi-Hua Zhou · 2019
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Boolean satisfiability: theory and engineering
Moshe Y Vardi · 2014
Cited alongside, same era.
On stackelberg mixed strategies
Vincent Conitzer · 2016
Cited alongside, same era.
Harnessing deep neural networks with logic rules
Zhiting Hu, Xuezhe Ma, Zhengzhong Liu, Eduard Hovy, and Eric Xing · 2016
Cited alongside, same era.
Constrained sampling and counting: Universal hashing meets sat solving
Kuldeep S Meel, Moshe Y Vardi, Supratik Chakraborty, Daniel J Fremont, Sanjit A Seshia, Dror Fried, Alexander Ivrii, and Sharad Malik · 2016
Cited alongside, same era.
Statistical relational artificial intelligence: Logic, probability, and computation
Luc De Raedt, Kristian Kersting, Sriraam Natarajan, and David Poole · 2016
Cited alongside, same era.
Unbiased markov chain monte carlo with couplings
Pierre E Jacob, John O’Leary, and Yves F Atchadé · 2017
Cited alongside, same era.
Later among the works it cites.
On the convergence of sgd with biased gradients
Ahmad Ajalloeian and Sebastian U Stich · 2020
Later among the works it cites.
Neuro-symbolic visual reasoning: Disentangling
Saeed Amizadeh, Hamid Palangi, Alex Polozov, Yichen Huang, and Kazuhito Koishida · 2020
Later among the works it cites.
What is local optimality in nonconvex-nonconcave minimax optimization?
Chi Jin, Praneeth Netrapalli, and Michael Jordan · 2020
Later among the works it cites.
Joblib: running python functions as pipeline jobs, 2020
Joblib Development Team · 2020
Later among the works it cites.
Closed loop neural-symbolic learning via integrating neural perception, grammar parsing, and symbolic reasoning
Qing Li, Siyuan Huang, Yining Hong, Yixin Chen, Ying Nian Wu, and Song-Chun Zhu · 2020
Later among the works it cites.
Neurasp: Embracing neural networks into answer set programming
Zhun Yang, Adam Ishay, and Joohyung Lee · 2020
Later among the works it cites.
Enforcing policy feasibility constraints through differentiable projection for energy optimization
Bingqing Chen, Priya L Donti, Kyri Baker, J Zico Kolter, and Mario Bergés · 2021
Later among the works it cites.
Learning by fixing: Solving math word problems with weak supervision
Yining Hong, Qing Li, Daniel Ciao, Siyuan Huang, and Song-Chun Zhu · 2021
Later among the works it cites.
Fast abductive learning by similarity-based consistency optimization
Yu-Xuan Huang, Wang-Zhou Dai, Le-Wen Cai, Stephen H Muggleton, and Yuan Jiang · 2021
Later among the works it cites.
Approximate inference for neural probabilistic logic programming
Robin Manhaeve, Giuseppe Marra, and Luc De Raedt · 2021
Later among the works it cites.
From statistical relational to neural symbolic artificial intelligence: a survey
Giuseppe Marra, Sebastijan Dumančić, Robin Manhaeve, and Luc De Raedt · 2021
Later among the works it cites.
Neural-symbolic solver for math word problems with auxiliary tasks
Jinghui Qin, Xiaodan Liang, Yining Hong, Jianheng Tang, and Liang Lin · 2021
Later among the works it cites.
Techniques for symbol grounding with satnet
Sever Topan, David Rolnick, and Xujie Si · 2021
Later among the works it cites.
A survey on neural-symbolic systems
Dongran Yu, Bo Yang, Dayou Liu, and Hui Wang · 2021
Later among the works it cites.
Neural-symbolic learning and reasoning: A survey and interpretation
Artur d’Avila Garcez, Sebastian Bader, Howard Bowman, Luis C Lamb, Leo de Penning, BV Illuminoo, Hoifung Poon, and COPPE Gerson Zaverucha · 2022
Later among the works it cites.
Neuro-symbolic artificial intelligence: The state of the art
Pascal Hitzler · 2022
Later among the works it cites.
Multiplexnet: Towards fully satisfied logical constraints in neural networks
Nick Hoernle, Rafael Michael Karampatsis, Vaishak Belle, and Kobi Gal · 2022
Later among the works it cites.
Neupsl: Neural probabilistic soft logic
Connor Pryor, Charles Dickens, Eriq Augustine, Alon Albalak, William Wang, and Lise Getoor · 2022
Later among the works it cites.
Deepstochlog: Neural stochastic logic programming
Thomas Winters, Giuseppe Marra, Robin Manhaeve, and Luc De Raedt · 2022
Later among the works it cites.