3 papers
cs.AI2025
Predicate Renaming via Large Language Models
Elisabetta Gentili, Tony Ribeiro, Fabrizio Riguzzi +1
In this paper, we address the problem of giving names to predicates in logic rules using Large Language Models (LLMs). In the context of Inductive Logic Programming, various rule g…
cs.LG2025
Disentangling Neural Disjunctive Normal Form Models
Kexin Gu Baugh, Vincent Perreault, Matthew Baugh +3
Neural Disjunctive Normal Form (DNF) based models are powerful and interpretable approaches to neuro-symbolic learning and have shown promising results in classification and reinfo…
cs.LG2024
Variable Assignment Invariant Neural Networks for Learning Logic Programs
Yin Jun Phua, Katsumi Inoue
Learning from interpretation transition (LFIT) is a framework for learning rules from observed state transitions. LFIT has been implemented in purely symbolic algorithms, but they…