LIVEJoin the current RTAI Connect sessionJoin now

Logic of Differentiable Logics: Towards a Uniform Semantics of DL

Logic of Differentiable Logics: Towards a Uniform Semantics of DL

19 March 2023

Natalia Slusarz

Ekaterina Komendantskaya

Papers citing "Logic of Differentiable Logics: Towards a Uniform Semantics of DL"

12 / 12 papers shown

Title
Understanding the Logic of Direct Preference Alignment through Logic Kyle Richardson Vivek Srikumar Ashish Sabharwal 177 2 0 23 Dec 2024
Deep Learning with Logical Constraints Eleonora Giunchiglia Mihaela C. Stoian Thomas Lukasiewicz NAI AI4CE 71 62 0 01 May 2022
MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks Nicholas Hoernle Rafael-Michael Karampatsis Vaishak Belle Y. Gal 67 60 0 02 Nov 2021
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results Stanley Bak Changliu Liu Taylor T. Johnson NAI 84 112 0 31 Aug 2021
Neural Network Robustness as a Verification Property: A Principled Case Study Marco Casadio Ekaterina Komendantskaya M. Daggitt Wen Kokke Guy Katz Guy Amir Idan Refaeli OOD AAML 55 41 0 03 Apr 2021
Neuro-Symbolic Constraint Programming for Structured Prediction Paolo Dragone Stefano Teso Andrea Passerini 70 18 0 31 Mar 2021
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification Shiqi Wang Huan Zhang Kaidi Xu Xue Lin Suman Jana Cho-Jui Hsieh Zico Kolter 114 199 0 11 Mar 2021
Logic Tensor Networks Samy Badreddine Artur Garcez Luciano Serafini Michael Spranger NAI 122 208 0 25 Dec 2020
Analyzing Differentiable Fuzzy Logic Operators Emile van Krieken Erman Acar F. V. Harmelen NAI AI4CE 89 134 0 14 Feb 2020
A Semantic Loss Function for Deep Learning with Symbolic Knowledge Jingyi Xu Zilu Zhang Tal Friedman Yitao Liang Guy Van den Broeck 94 450 0 29 Nov 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 318 1,868 0 03 Feb 2017
Intriguing properties of neural networks Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna D. Erhan Ian Goodfellow Rob Fergus AAML 270 14,927 1 21 Dec 2013

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.