A Semantic Loss Function for Deep Learning with Symbolic Knowledge

29 November 2017

Papers citing "A Semantic Loss Function for Deep Learning with Symbolic Knowledge"

33 / 33 papers shown

Title
Independence Is Not an Issue in Neurosymbolic AI Håkan Karlsson Faronius Pedro Zuidberg Dos Martires 29 0 0 10 Apr 2025
A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction Leander Kurscheidt Paolo Morettin Roberto Sebastiani Andrea Passerini Antonio Vergari 44 0 0 25 Mar 2025
Visual Graph Question Answering with ASP and LLMs for Language Parsing Jakob Johannes Bauer Thomas Eiter Nelson Higuera Ruiz J. Oetsch GNN 59 0 0 13 Feb 2025
Imperative Learning: A Self-supervised Neuro-Symbolic Learning Framework for Robot Autonomy Chen Wang Kaiyi Ji Junyi Geng Zhongqiang Ren Taimeng Fu ... Yi Du Qihang Li Y. Yang Xiao Lin Zhipeng Zhao SSL 69 8 0 28 Jan 2025
LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation Bowen Li Zhaoyu Li Qiwei Du Jinqi Luo Wenshan Wang ... Katia P. Sycara Pradeep Kumar Ravikumar Alexander G. Gray X. Si Sebastian A. Scherer AI4CE LRM 74 2 0 01 Nov 2024
TL-PCA: Transfer Learning of Principal Component Analysis Sharon Hendy Yehuda Dar 65 1 0 14 Oct 2024
Error Detection and Constraint Recovery in Hierarchical Multi-Label Classification without Prior Knowledge Joshua Shay Kricheli Khoa Vo Aniruddha Datta Spencer Ozgur Paulo Shakarian 30 2 0 21 Jul 2024
On the Independence Assumption in Neurosymbolic Learning Emile van Krieken Pasquale Minervini E. Ponti Antonio Vergari 27 10 0 12 Apr 2024
Simple and Effective Transfer Learning for Neuro-Symbolic Integration Alessandro Daniele Tommaso Campari Sagar Malhotra Luciano Serafini 25 1 0 21 Feb 2024
Convex and Bilevel Optimization for Neuro-Symbolic Inference and Learning Charles Dickens Changyu Gao Connor Pryor Stephen J. Wright Lise Getoor 16 3 0 17 Jan 2024
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
A Unified Approach to Count-Based Weakly-Supervised Learning Vinay Shukla Zhe Zeng Kareem Ahmed Guy Van den Broeck SSL 32 4 0 22 Nov 2023
Neural-Logic Human-Object Interaction Detection Liulei Li Jianan Wei Wenguan Wang Yi Yang 27 16 0 16 Nov 2023
KnowSafe: Combined Knowledge and Data Driven Hazard Mitigation in Artificial Pancreas Systems Xugui Zhou Maxfield Kouzel Chloe Smith H. Alemzadeh 8 1 0 13 Nov 2023
Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer Zhun Yang Adam Ishay Joohyung Lee 16 9 0 10 Jul 2023
Injecting Logical Constraints into Neural Networks via Straight-Through Estimators Zhun Yang Joohyung Lee Chi-youn Park 8 18 0 10 Jul 2023
Towards Unbiased Exploration in Partial Label Learning Zsolt Zombori Agapi Rissaki Kristóf Szabó Wolfgang Gatterbauer Michael Benedikt SSL UQCV 13 1 0 02 Jul 2023
Machine Learning with Requirements: a Manifesto Eleonora Giunchiglia F. Imrie M. Schaar Thomas Lukasiewicz AI4TS OffRL VLM 22 5 0 07 Apr 2023
Informed Machine Learning, Centrality, CNN, Relevant Document Detection, Repatriation of Indigenous Human Remains M. A. Bashar R. Nayak G. Knapman Paul Turnbull C. Fforde 12 1 0 25 Mar 2023
DeepSaDe: Learning Neural Networks that Guarantee Domain Constraint Satisfaction Kshitij Goyal Sebastijan Dumancic Hendrik Blockeel 13 2 0 02 Mar 2023
GEDI: GEnerative and DIscriminative Training for Self-Supervised Learning Emanuele Sansone Robin Manhaeve SSL 15 9 0 27 Dec 2022
Neural DAEs: Constrained neural networks Tue Boesen E. Haber Uri M. Ascher 15 3 0 25 Nov 2022
RulE: Knowledge Graph Reasoning with Rule Embedding Xiaojuan Tang Song-Chun Zhu Yitao Liang Muhan Zhang 8 2 0 24 Oct 2022
Scalable Regularization of Scene Graph Generation Models using Symbolic Theories Davide Buffelli Efthymia Tsamoura 8 2 0 06 Sep 2022
Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning Haoyuan He Wang-Zhou Dai Ming Li AI4CE 26 2 0 14 Aug 2022
Informed Learning by Wide Neural Networks: Convergence, Generalization and Sampling Complexity Jianyi Yang Shaolei Ren 6 3 0 02 Jul 2022
A Critical Review of Inductive Logic Programming Techniques for Explainable AI Zheng Zhang Liangliang Xu L. Yilmaz Bo Liu 13 7 0 31 Dec 2021
Relational Reasoning Networks G. Marra Michelangelo Diligenti Francesco Giannini NAI 22 4 0 01 Jun 2021
Multi-Label Classification Neural Networks with Hard Logical Constraints Eleonora Giunchiglia Thomas Lukasiewicz AILaw 14 42 0 24 Mar 2021
Right for the Right Concept: Revising Neuro-Symbolic Concepts by Interacting with their Explanations Wolfgang Stammer P. Schramowski Kristian Kersting FAtt 14 105 0 25 Nov 2020
Interpretable neural networks based on continuous-valued logic and multicriteria decision operators Orsolya Csiszár Gábor Csiszár J. Dombi NAI 21 30 0 06 Oct 2019
ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks Xuankang Lin He Zhu R. Samanta Suresh Jagannathan AAML 19 28 0 17 Jul 2019
Logic Tensor Networks for Semantic Image Interpretation Ivan Donadello Luciano Serafini Artur Garcez 51 208 0 24 May 2017