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"

50 / 84 papers shown

Title
Combining Abstract Argumentation and Machine Learning for Efficiently Analyzing Low-Level Process Event Streams Bettina Fazzinga Sergio Flesca F. Furfaro Luigi Pontieri Francesco Scala 24 0 0 09 May 2025
Independence Is Not an Issue in Neurosymbolic AI Håkan Karlsson Faronius Pedro Zuidberg Dos Martires 33 0 0 10 Apr 2025
A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction Leander Kurscheidt Paolo Morettin Roberto Sebastiani Andrea Passerini Antonio Vergari 57 0 0 25 Mar 2025
Shortcuts and Identifiability in Concept-based Models from a Neuro-Symbolic Lens Samuele Bortolotti Emanuele Marconato Paolo Morettin Andrea Passerini Stefano Teso 61 2 0 16 Feb 2025
Visual Graph Question Answering with ASP and LLMs for Language Parsing Jakob Johannes Bauer Thomas Eiter Nelson Higuera Ruiz J. Oetsch GNN 64 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 Yuqing Yang Xiao Lin Zhipeng Zhao SSL 86 9 0 28 Jan 2025
Understanding the Logic of Direct Preference Alignment through Logic Kyle Richardson Vivek Srikumar Ashish Sabharwal 85 2 0 23 Dec 2024
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 81 3 0 01 Nov 2024
TL-PCA: Transfer Learning of Principal Component Analysis Sharon Hendy Yehuda Dar 161 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 40 2 0 21 Jul 2024
On the Independence Assumption in Neurosymbolic Learning Emile van Krieken Pasquale Minervini E. Ponti Antonio Vergari 48 11 0 12 Apr 2024
Using Domain Knowledge to Guide Dialog Structure Induction via Neural Probabilistic Soft Logic Connor Pryor Quan Yuan J. Liu Mehran Kazemi Deepak Ramachandran Tania Bedrax-Weiss Lise Getoor 29 1 0 26 Mar 2024
Simple and Effective Transfer Learning for Neuro-Symbolic Integration Alessandro Daniele Tommaso Campari Sagar Malhotra Luciano Serafini 27 1 0 21 Feb 2024
Consistent Joint Decision-Making with Heterogeneous Learning Models Hossein Rajaby Faghihi Parisa Kordjamshidi 37 2 0 06 Feb 2024
Convex and Bilevel Optimization for Neuro-Symbolic Inference and Learning Charles Dickens Changyu Gao Connor Pryor Stephen J. Wright Lise Getoor 37 3 0 17 Jan 2024
A Pseudo-Semantic Loss for Autoregressive Models with Logical Constraints Kareem Ahmed Kai-Wei Chang Guy Van den Broeck 28 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 52 5 0 22 Nov 2023
Neural-Logic Human-Object Interaction Detection Liulei Li Jianan Wei Wenguan Wang Yi Yang 43 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 24 1 0 13 Nov 2023
A Novel Neural-symbolic System under Statistical Relational Learning Dongran Yu Xueyan Liu Shirui Pan Anchen Li Bo Yang AI4CE NAI 14 1 0 16 Sep 2023
Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer Zhun Yang Adam Ishay Joohyung Lee 35 9 0 10 Jul 2023
Injecting Logical Constraints into Neural Networks via Straight-Through Estimators Zhun Yang Joohyung Lee Chi-youn Park 22 19 0 10 Jul 2023
Towards Unbiased Exploration in Partial Label Learning Zsolt Zombori Agapi Rissaki Kristóf Szabó Wolfgang Gatterbauer Michael Benedikt SSL UQCV 25 1 0 02 Jul 2023
TaxoKnow: Taxonomy as Prior Knowledge in the Loss Function of Multi-class Classification Mohsen Pourvali Yao Meng Chen Sheng Yangzhou Du 15 0 0 24 May 2023
TABLET: Learning From Instructions For Tabular Data Dylan Slack Sameer Singh LMTD ALM RALM 26 17 0 25 Apr 2023
Scallop: A Language for Neurosymbolic Programming Ziyang Li Jiani Huang Mayur Naik ReLM LRM NAI 21 30 0 10 Apr 2023
Machine Learning with Requirements: a Manifesto Eleonora Giunchiglia F. Imrie M. Schaar Thomas Lukasiewicz AI4TS OffRL VLM 32 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 37 1 0 25 Mar 2023
Logic of Differentiable Logics: Towards a Uniform Semantics of DL Natalia Slusarz Ekaterina Komendantskaya M. Daggitt Rob Stewart Kathrin Stark 31 17 0 19 Mar 2023
DeepSaDe: Learning Neural Networks that Guarantee Domain Constraint Satisfaction Kshitij Goyal Sebastijan Dumancic Hendrik Blockeel 29 2 0 02 Mar 2023
Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey L. Delong Ramon Fernández Mir Jacques D. Fleuriot NAI 31 12 0 14 Feb 2023
Learning from Noisy Crowd Labels with Logics Zhijun Chen Hailong Sun Haoqian He Pengpeng Chen NoLa NAI 32 7 0 13 Feb 2023
GEDI: GEnerative and DIscriminative Training for Self-Supervised Learning Emanuele Sansone Robin Manhaeve SSL 20 9 0 27 Dec 2022
Knowledge-augmented Deep Learning and Its Applications: A Survey Zijun Cui Tian Gao Kartik Talamadupula Qiang Ji 27 18 0 30 Nov 2022
Neural DAEs: Constrained neural networks Tue Boesen E. Haber Uri M. Ascher 36 3 0 25 Nov 2022
RulE: Knowledge Graph Reasoning with Rule Embedding Xiaojuan Tang Song-Chun Zhu Yitao Liang Muhan Zhang 15 2 0 24 Oct 2022
Character-Centric Story Visualization via Visual Planning and Token Alignment Hong Chen Rujun Han Te-Lin Wu Hideki Nakayama Nanyun Peng DiffM VGen 19 31 0 16 Oct 2022
SIMPLE: A Gradient Estimator for $k$ -Subset Sampling Kareem Ahmed Zhe Zeng Mathias Niepert Guy Van den Broeck BDL 42 24 0 04 Oct 2022
ROAD-R: The Autonomous Driving Dataset with Logical Requirements Eleonora Giunchiglia Mihaela C. Stoian Salman Khan Fabio Cuzzolin Thomas Lukasiewicz AI4TS 44 31 0 04 Oct 2022
Scalable Regularization of Scene Graph Generation Models using Symbolic Theories Davide Buffelli Efthymia Tsamoura 19 2 0 06 Sep 2022
Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning Haoyuan He Wang-Zhou Dai Ming Li AI4CE 34 2 0 14 Aug 2022
ACE: Adaptive Constraint-aware Early Stopping in Hyperparameter Optimization Yi-Wei Chen Chi Wang A. Saied Rui Zhuang 16 2 0 04 Aug 2022
Neuro-Symbolic Learning: Principles and Applications in Ophthalmology Muhammad Hassan Haifei Guan Aikaterini Melliou Yuqi Wang Qianhui Sun ... Qi Huang Jiefu Tan Qinwang Xing Peiwu Qin Dongmei Yu NAI 36 14 0 31 Jul 2022
Differentiable Logics for Neural Network Training and Verification Natalia Slusarz Ekaterina Komendantskaya M. Daggitt Rob Stewart 13 2 0 14 Jul 2022
Informed Learning by Wide Neural Networks: Convergence, Generalization and Sampling Complexity Jianyi Yang Shaolei Ren 26 3 0 02 Jul 2022
NeuPSL: Neural Probabilistic Soft Logic Connor Pryor Charles Dickens Eriq Augustine Alon Albalak William Wang Lise Getoor NAI 13 33 0 27 May 2022
Robustness Testing of Data and Knowledge Driven Anomaly Detection in Cyber-Physical Systems Xugui Zhou Maxfield Kouzel H. Alemzadeh OOD AAML 8 12 0 20 Apr 2022
Tractable Boolean and Arithmetic Circuits Adnan Darwiche TPM 33 12 0 07 Feb 2022
Knowledge-Integrated Informed AI for National Security Anu Myne Kevin J. Leahy Ryan Soklaski 21 0 0 04 Feb 2022
A Critical Review of Inductive Logic Programming Techniques for Explainable AI Zheng Zhang Liangliang Xu L. Yilmaz Bo Liu 20 7 0 31 Dec 2021