DeepSaDe: Learning Neural Networks that Guarantee Domain Constraint Satisfaction

2 March 2023

Papers citing "DeepSaDe: Learning Neural Networks that Guarantee Domain Constraint Satisfaction"

3 / 3 papers shown

Title
Constrained Machine Learning Through Hyperspherical Representation Gaetano Signorelli Michele Lombardi 29 0 0 11 Apr 2025
A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction Leander Kurscheidt Paolo Morettin Roberto Sebastiani Andrea Passerini Antonio Vergari 50 0 0 25 Mar 2025
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 219 1,818 0 03 Feb 2017