MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks

2 November 2021

Nicholas Hoernle

Rafael-Michael Karampatsis

Vaishak Belle

Y. Gal

ArXiv PDF HTML

Papers citing "MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks"

34 / 34 papers shown

Title
Constrained Machine Learning Through Hyperspherical Representation Gaetano Signorelli Michele Lombardi 34 0 0 11 Apr 2025
A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction Leander Kurscheidt Paolo Morettin Roberto Sebastiani Andrea Passerini Antonio Vergari 55 0 0 25 Mar 2025
Beyond the convexity assumption: Realistic tabular data generation under quantifier-free real linear constraints Mihaela C. Stoian Eleonora Giunchiglia 84 2 0 25 Feb 2025
Shortcuts and Identifiability in Concept-based Models from a Neuro-Symbolic Lens Samuele Bortolotti Emanuele Marconato Paolo Morettin Andrea Passerini Stefano Teso 53 2 0 16 Feb 2025
Prompt2DeModel: Declarative Neuro-Symbolic Modeling with Natural Language Hossein Rajaby Faghihi Aliakbar Nafar Andrzej Uszok Hamid Karimian Parisa Kordjamshidi 35 0 0 30 Jul 2024
Semantic Loss Functions for Neuro-Symbolic Structured Prediction Kareem Ahmed Stefano Teso Paolo Morettin Luca Di Liello Pierfrancesco Ardino ... Yitao Liang Eric Wang Kai-Wei Chang Andrea Passerini Guy Van den Broeck 44 2 0 12 May 2024
Semantic Objective Functions: A distribution-aware method for adding logical constraints in deep learning Miguel Ángel Méndez Lucero Enrique Bojorquez Gallardo Vaishak Belle 19 0 0 03 May 2024
Naturally Supervised 3D Visual Grounding with Language-Regularized Concept Learners Chun Feng Joy Hsu Weiyu Liu Jiajun Wu PINN LRM 33 6 0 30 Apr 2024
Learning with Logical Constraints but without Shortcut Satisfaction Zenan Li Zehua Liu Yuan Yao Jingwei Xu Taolue Chen Xiaoxing Ma Jian Lu NAI 20 18 0 01 Mar 2024
Softened Symbol Grounding for Neuro-symbolic Systems Zenan Li Yuan Yao Taolue Chen Jingwei Xu Chun Cao Xiaoxing Ma Jian Lu NAI 21 14 0 01 Mar 2024
PiShield: A PyTorch Package for Learning with Requirements Mihaela C. Stoian Alex Tatomir Thomas Lukasiewicz Eleonora Giunchiglia 26 1 0 28 Feb 2024
BEARS Make Neuro-Symbolic Models Aware of their Reasoning Shortcuts Emanuele Marconato Samuele Bortolotti Emile van Krieken Antonio Vergari Andrea Passerini Stefano Teso 33 18 0 19 Feb 2024
Exploiting T-norms for Deep Learning in Autonomous Driving Mihaela C. Stoian Eleonora Giunchiglia Thomas Lukasiewicz 18 7 0 17 Feb 2024
How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data Mihaela C. Stoian Salijona Dyrmishi Maxime Cordy Thomas Lukasiewicz Eleonora Giunchiglia 21 14 0 07 Feb 2024
ConSequence: Synthesizing Logically Constrained Sequences for Electronic Health Record Generation B. Theodorou Shrusti Jain Cao Xiao Jimeng Sun SyDa 26 1 0 10 Dec 2023
A Pseudo-Semantic Loss for Autoregressive Models with Logical Constraints Kareem Ahmed Kai-Wei Chang Guy Van den Broeck 18 10 0 06 Dec 2023
LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints Weidi Xu Jingwei Wang Lele Xie Jianshan He Hongting Zhou Taifeng Wang Xiaopei Wan Jingdong Chen Chao Qu Wei Chu 22 1 0 27 Sep 2023
CuTS: Customizable Tabular Synthetic Data Generation Mark Vero Mislav Balunović Martin Vechev 18 3 0 07 Jul 2023
Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts Emanuele Marconato Stefano Teso Antonio Vergari Andrea Passerini 27 30 0 31 May 2023
Concept-Centric Transformers: Enhancing Model Interpretability through Object-Centric Concept Learning within a Shared Global Workspace Jinyung Hong Keun Hee Park Theodore P. Pavlic 13 5 0 25 May 2023
Machine Learning with Requirements: a Manifesto Eleonora Giunchiglia F. Imrie M. Schaar Thomas Lukasiewicz AI4TS OffRL VLM 32 5 0 07 Apr 2023
Logic of Differentiable Logics: Towards a Uniform Semantics of DL Natalia Slusarz Ekaterina Komendantskaya M. Daggitt Rob Stewart Kathrin Stark 17 17 0 19 Mar 2023
DeepSaDe: Learning Neural Networks that Guarantee Domain Constraint Satisfaction Kshitij Goyal Sebastijan Dumancic Hendrik Blockeel 19 2 0 02 Mar 2023
Semantic Strengthening of Neuro-Symbolic Learning Kareem Ahmed Kai-Wei Chang Guy Van den Broeck 9 12 0 28 Feb 2023
Neuro-Symbolic Continual Learning: Knowledge, Reasoning Shortcuts and Concept Rehearsal Emanuele Marconato G. Bontempo E. Ficarra Simone Calderara Andrea Passerini Stefano Teso NAI LRM CLL 18 20 0 02 Feb 2023
ROAD-R: The Autonomous Driving Dataset with Logical Requirements Eleonora Giunchiglia Mihaela C. Stoian Salman Khan Fabio Cuzzolin Thomas Lukasiewicz AI4TS 34 31 0 04 Oct 2022
Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning Haoyuan He Wang-Zhou Dai Ming Li AI4CE 29 2 0 14 Aug 2022
Refining neural network predictions using background knowledge Alessandro Daniele Emile van Krieken Luciano Serafini F. V. Harmelen 14 11 0 10 Jun 2022
Semantic Probabilistic Layers for Neuro-Symbolic Learning Kareem Ahmed Stefano Teso Kai-Wei Chang Guy Van den Broeck Antonio Vergari TPM 13 75 0 01 Jun 2022
Knowledge Enhanced Neural Networks for relational domains Alessandro Daniele Luciano Serafini 11 9 0 31 May 2022
Deep Learning with Logical Constraints Eleonora Giunchiglia Mihaela C. Stoian Thomas Lukasiewicz NAI AI4CE 16 61 0 01 May 2022
SaDe: Learning Models that Provably Satisfy Domain Constraints Kshitij Goyal Sebastijan Dumancic Hendrik Blockeel ALM 12 5 0 01 Dec 2021
A Review of Some Techniques for Inclusion of Domain-Knowledge into Deep Neural Networks T. Dash Sharad Chitlangia Aditya Ahuja A. Srinivasan 22 128 0 21 Jul 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,832 0 03 Feb 2017