Fetching the paper…
Reading the bibliography…
We study the problem of combining neural networks with symbolic reasoning.
Estimating a dirichlet distribution, 2000
Thomas Minka · 2000
Earlier work this paper cites.
Markov logic networks
Matthew Richardson and Pedro Domingos · 2006
Earlier work this paper cites.
On probabilistic inference by weighted model counting
Mark Chavira and Adnan Darwiche · 2007
Earlier work this paper cites.
MNIST handwritten digit database
Yann LeCun and Corinna Cortes · 2010
Earlier work this paper cites.
Answer set programming at a glance
Gerhard Brewka, Thomas Eiter, and Mirosław Truszczyński · 2011
Earlier work this paper cites.
Extending ProbLog with Continuous Distributions
Bernd Gutmann, Manfred Jaeger, and Luc De Raedt · 2011
Earlier work this paper cites.
Auto-encoding variational bayes
Diederik P. Kingma and Max Welling · 2014
Earlier work this paper cites.
Probabilistic sentential decision diagrams
Doga Kisa and Guy Van den Broeck · 2014
Earlier work this paper cites.
Variational Inference with Normalizing Flows
Danilo Rezende and Shakir Mohamed · 2015
Earlier work this paper cites.
Gradient estimation using stochastic computation graphs
John Schulman, Nicolas Heess, Theophane Weber, and Pieter Abbeel · 2015
Earlier work this paper cites.
The Most Probable Explanation for Probabilistic Logic Programs with Annotated Disjunctions
Dimitar Shterionov, Joris Renkens, Jonas Vlasselaer, Angelika Kimmig, Wannes Meert, and Gerda Janssens · 2015
Earlier work this paper cites.
A medium-scale distributed system for computer science research: Infrastructure for the long term
Henri Bal, Dick Epema, Cees de Laat, Rob van Nieuwpoort, John Romein, Frank Seinstra, Cees Snoek, and Harry Wijshoff · 2016
Earlier work this paper cites.
Deep residual learning for image recognition
Kaiming He, Xiangyu Zhang, Shaoqing Ren, and Jian Sun · 2016
Earlier work this paper cites.
A distributional perspective on reinforcement learning
Marc G Bellemare, Will Dabney, and Rémi Munos · 2017
Earlier work this paper cites.
Semantic-based regularization for learning and inference
Michelangelo Diligenti, Marco Gori, and Claudio Sacca · 2017
Earlier work this paper cites.
Categorical reparameterization with gumbel-softmax
Eric Jang, Shixiang Gu, and Ben Poole · 2017
Earlier work this paper cites.
Adam: A Method for Stochastic Optimization
Diederik P. Kingma and Jimmy Ba · 2017
Earlier work this paper cites.
Semi-Supervised Classification with Graph Convolutional Networks, February 2017
Thomas N. Kipf and Max Welling · 2017
Earlier work this paper cites.
Attention Is All You Need, December 2017
Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N. Gomez, Lukasz Kaiser, and Illia Polosukhin · 2017
Earlier work this paper cites.
Memory augmented policy optimization for program synthesis and semantic parsing
Chen Liang, Mohammad Norouzi, Jonathan Berant, Quoc V. Le, and Ni Lao · 2018
Earlier work this paper cites.
DeepProbLog: Neural probabilistic logic programming
Robin Manhaeve, Sebastijan Dumančić, Angelika Kimmig, Thomas Demeester, and Luc De Raedt · 2018
Cited alongside, same era.
Modeling relational data with graph convolutional networks
Michael Schlichtkrull, Thomas N Kipf, Peter Bloem, Rianne van den Berg, Ivan Titov, and Max Welling · 2018
Cited alongside, same era.
A semantic loss function for deep learning with symbolic knowledge
Jingyi Xu, Zilu Zhang, Tal Friedman, Yitao Liang, and Guy den Broeck · 2018
Cited alongside, same era.
Neuro-symbolic= neural+ logical+ probabilistic
Luc De Raedt, Robin Manhaeve, Sebastijan Dumancic, Thomas Demeester, and Angelika Kimmig · 2019
Cited alongside, same era.
Buy 4 REINFORCE samples, get a baseline for free!
Wouter Kool, Herke van Hoof, and Max Welling · 2019
Cited alongside, same era.
A Boxology of Design Patterns for Hybrid Learning and Reasoning Systems
Frank van Harmelen and Annette ten Teije · 2019
Storchastic: A framework for general stochastic automatic differentiation
Emile van Krieken, Jakub Tomczak, and Annette Ten Teije · 2021
Later among the works it cites.
Analyzing differentiable fuzzy logic operators
Emile van Krieken, Erman Acar, and Frank van Harmelen · 2021
Later among the works it cites.
Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings
Yaniv Aspis, Krysia Broda, Jorge Lobo, and Alessandra Russo · 2022
Closest in time.
Visual sudoku puzzle classification: A suite of collective neuro-symbolic tasks
Eriq Augustine, Connor Pryor, Charles Dickens, Jay Pujara, William Yang Wang, and Lise Getoor · 2022
Closest in time.
Proceedings of SAT Competition 2022 : Solver and Benchmark Descriptions
Tomas Balyo, Marijn J. H. Heule, Markus Iser, Matti Järvisalo, Martin Suda, Helsinki Institute for Information Technology, Constraint Reasoning and Optimization research group / Matti Järvisalo, and Department of Computer Science · 2022
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Monte carlo gradient estimation in machine learning
Shakir Mohamed, Mihaela Rosca, Michael Figurnov, and Andriy Mnih · 2020
Cited alongside, same era.
Differentiation of blackbox combinatorial solvers
Marin Vlastelica Pogančić, Anselm Paulus, Vit Musil, Georg Martius, and Michal Rolinek · 2020
Cited alongside, same era.
NeurASP: Embracing neural networks into answer set programming
Zhun Yang, Adam Ishay, and Joohyung Lee · 2020
Cited alongside, same era.
Probabilistic circuits: A unifying framework for tractable probabilistic models
Choi Yoojung, Antonio Vergari, and Guy Van den Broeck · 2020
Cited alongside, same era.
Logic Tensor Networks
Samy Badreddine, Artur d’Avila Garcez, Luciano Serafini, and Michael Spranger · 2021
Cited alongside, same era.
Flow network based generative models for non-iterative diverse candidate generation
Emmanuel Bengio, Moksh Jain, Maksym Korablyov, Doina Precup, and Yoshua Bengio · 2021
Cited alongside, same era.
Yoshua Bengio, Salem Lahlou, Tristan Deleu, Edward J. Hu, Mo Tiwari, and Emmanuel Bengio · 2022
Closest in time.
Efficient and modular implicit differentiation
Mathieu Blondel, Quentin Berthet, Marco Cuturi, Roy Frostig, Stephan Hoyer, Felipe Llinares-López, Fabian Pedregosa, and Jean-Philippe Vert · 2022
Closest in time.
Variational Lossy Autoencoder
Xi Chen, Diederik P. Kingma, Tim Salimans, Yan Duan, Prafulla Dhariwal, John Schulman, Ilya Sutskever, and Pieter Abbeel · 2022
Closest in time.
Deep Learning with Logical Constraints
Eleonora Giunchiglia, Mihaela Catalina Stoian, and Thomas Lukasiewicz · 2022
Closest in time.
Trajectory balance: Improved credit assignment in GFlowNets
Nikolay Malkin, Moksh Jain, Emmanuel Bengio, Chen Sun, and Yoshua Bengio · 2022
Closest in time.
Learning with Differentiable Algorithms, September 2022
Felix Petersen · 2022
Closest in time.
NeuPSL: Neural Probabilistic Soft Logic, June 2022
Connor Pryor, Charles Dickens, Eriq Augustine, Alon Albalak, William Wang, and Lise Getoor · 2022
Closest in time.
Deep Generative Modeling
Jakub M. Tomczak · 2022
Closest in time.
DeepStochLog: Neural Stochastic Logic Programming
Thomas Winters, Giuseppe Marra, Robin Manhaeve, and Luc De Raedt · 2022
Closest in time.
On Completeness-aware Concept-Based Explanations in Deep Neural Networks, February 2022
Chih-Kuan Yeh, Been Kim, Sercan O. Arik, Chun-Liang Li, Tomas Pfister, and Pradeep Ravikumar · 2022
Closest in time.
Refining neural network predictions using background knowledge
Alessandro Daniele, Emile van Krieken, Luciano Serafini, and Frank van Harmelen · 2023
Closest in time.
Softened Symbol Grounding for Neuro-symbolic Systems
Zenan Li, Yuan Yao, Taolue Chen, Jingwei Xu, Chun Cao, Xiaoxing Ma, and Jian L\”{u} · 2023
Closest in time.
GFlowNets and variational inference
Nikolay Malkin, Salem Lahlou, Tristan Deleu, Xu Ji, Edward J. Hu, Katie E. Everett, Dinghuai Zhang, and Yoshua Bengio · 2023
Closest in time.
Backpropagation through Combinatorial Algorithms: Identity with Projection Works
Subham Sekhar Sahoo, Anselm Paulus, Marin Vlastelica, Vít Musil, Volodymyr Kuleshov, and Georg Martius · 2023
Closest in time.