Fetching the paper…
Reading the bibliography…
Neuro-Symbolic Artificial Intelligence (NeSy AI) has emerged as a promising direction for integrating neural learning with symbolic reasoning.
Theory of an interval algebra and its application to numerical analysis
Teruo Sunaga · 1958
Earlier work this paper cites.
The computational complexity of probabilistic planning
Michael L Littman, Judy Goldsmith, and Martin Mundhenk · 1998
Earlier work this paper cites.
A knowledge compilation map
Adnan Darwiche and Pierre Marquis · 2002
Earlier work this paper cites.
Automatic perturbation analysis on general computational graphs
Kaidi Xu, Zhouxing Shi, Huan Zhang, Minlie Huang, Kai-Wei Chang, Bhavya Kailkhura, Xue Lin, and Cho-Jui Hsieh · 2002
Earlier work this paper cites.
On probabilistic inference by weighted model counting
Mark Chavira and Adnan Darwiche · 2008
Earlier work this paper cites.
The interval analysis of multilinear expressions
Cosimo Laneve, Tudor A Lascu, and Vania Sordoni · 2010
Earlier work this paper cites.
Sdd: A new canonical representation of propositional knowledge bases
Adnan Darwiche · 2011
Earlier work this paper cites.
Formal verification of piece-wise linear feed-forward neural networks
Rüdiger Ehlers · 2017
Earlier work this paper cites.
Reluplex: An efficient SMT solver for verifying deep neural networks
Guy Katz, Clark W. Barrett, David L. Dill, Kyle Julian, and Mykel J. Kochenderfer · 2017
Earlier work this paper cites.
An approach to reachability analysis for feed-forward relu neural networks
Alessio Lomuscio and Lalit Maganti · 2017
Earlier work this paper cites.
Ai2: Safety and robustness certification of neural networks with abstract interpretation
Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri, and Martin Vechev · 2018
Earlier work this paper cites.
On the effectiveness of interval bound propagation for training verifiably robust models
Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Chongli Qin, Jonathan Uesato, Relja Arandjelovic, Timothy A. Mann, and Pushmeet Kohli · 2018
Earlier work this paper cites.
Deepproblog: Neural probabilistic logic programming
Robin Manhaeve, Sebastijan Dumancic, Angelika Kimmig, Thomas Demeester, and Luc De Raedt · 2018
Cited alongside, same era.
Scaling provable adversarial defenses
E. Wong, F. Schmidt, J. Metzen, and J. Kolter · 2018
Cited alongside, same era.
Efficient neural network robustness certification with general activation functions, 2018
Huan Zhang, Tsui-Wei Weng, Pin-Yu Chen, Cho-Jui Hsieh, and Luca Daniel · 2018
Cited alongside, same era.
The marabou framework for verification and analysis of deep neural networks
Guy Katz, Derek A Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Aleksandar Zeljić, et al · 2019
Cited alongside, same era.
Evaluating robustness of neural networks with mixed integer programming
Vincent Tjeng, Kai Y. Xiao, and Russ Tedrake · 2019
Cited alongside, same era.
Deepstochlog: Neural stochastic logic programming
Thomas Winters, Giuseppe Marra, Robin Manhaeve, and Luc De Raedt · 2022
Later among the works it cites.
Neuro-symbolic verification of deep neural networks
Xuan Xie, Kristian Kersting, and Daniel Neider · 2022
Later among the works it cites.
Road-r: the autonomous driving dataset with logical requirements
Eleonora Giunchiglia, Mihaela Cătălina Stoian, Salman Khan, Fabio Cuzzolin, and Thomas Lukasiewicz · 2023
Later among the works it cites.
Certified training: Small boxes are all you need, 2023
Mark Niklas Müller, Franziska Eckert, Marc Fischer, and Martin Vechev · 2023
Later among the works it cites.
Neurasp: Embracing neural networks into answer set programming
Zhun Yang, Adam Ishay, and Joohyung Lee · 2023
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Verifying strategic abilities of neural-symbolic multi-agent systems
Michael E Akintunde, Elena Botoeva, Panagiotis Kouvaros, and Alessio Lomuscio · 2020
Cited alongside, same era.
Probabilistic circuits: A unifying framework for tractable probabilistic models
Y Choi, Antonio Vergari, and Guy Van den Broeck · 2020
Cited alongside, same era.
Efficient neural network verification via adaptive refinement and adversarial search
Patrick Henriksen and Alessio Lomuscio · 2020
Cited alongside, same era.
Onnx runtime
ONNX Runtime developers · 2021
Cited alongside, same era.
Beta-crown: Efficient bound propagation with per-neuron split constraints for neural network robustness verification
Shiqi Wang, Huan Zhang, Kaidi Xu, Xue Lin, Suman Jana, Cho-Jui Hsieh, and J. Zico Kolter · 2021
Cited alongside, same era.
Neuro-symbolic artificial intelligence: The state of the art
Pascal Hitzler and Md Kamruzzaman Sarker · 2022
Cited alongside, same era.
Np# p= ∃ \exists pp and other remarks about maximized counting
David Monniaux · 2022
Cited alongside, same era.
Christopher Brix, Stanley Bak, Taylor T. Johnson, and Haoze Wu · 2024
Later among the works it cites.
Vehicle: Bridging the embedding gap in the verification of neuro-symbolic programs, 2024
Matthew L. Daggitt, Wen Kokke, Robert Atkey, Natalia Slusarz, Luca Arnaboldi, and Ekaterina Komendantskaya · 2024
Later among the works it cites.
Neurosymbolic markov models
Lennert De Smet, Gabriele Venturato, Luc De Raedt, and Giuseppe Marra · 2024
Later among the works it cites.
Bears make neuro-symbolic models aware of their reasoning shortcuts
Emanuele Marconato, Samuele Bortolotti, Emile van Krieken, Antonio Vergari, Andrea Passerini, and Stefano Teso · 2024
Later among the works it cites.
From statistical relational to neurosymbolic artificial intelligence: A survey
Giuseppe Marra, Sebastijan Dumančić, Robin Manhaeve, and Luc De Raedt · 2024
Later among the works it cites.
Expressive losses for verified robustness via convex combinations, 2024
Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth, and Alessio Lomuscio · 2024
Later among the works it cites.
The gradient of algebraic model counting
Jaron Maene and Luc De Raedt · 2025
Closest in time.