Logic of Differentiable Logics: Towards a Uniform Semantics of DL

19 March 2023

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

7 / 7 papers shown

Title
Understanding the Logic of Direct Preference Alignment through Logic Kyle Richardson Vivek Srikumar Ashish Sabharwal 121 2 0 23 Dec 2024
MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks Nicholas Hoernle Rafael-Michael Karampatsis Vaishak Belle Y. Gal 40 59 0 02 Nov 2021
Neuro-Symbolic Constraint Programming for Structured Prediction Paolo Dragone Stefano Teso Andrea Passerini 53 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 51 189 0 11 Mar 2021
Analyzing Differentiable Fuzzy Logic Operators Emile van Krieken Erman Acar F. V. Harmelen NAI AI4CE 48 131 0 14 Feb 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 282 1,849 0 03 Feb 2017
Intriguing properties of neural networks Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna D. Erhan Ian Goodfellow Rob Fergus AAML 106 14,831 1 21 Dec 2013