Showing cs.LGShow all
2 papers · 1 filter
cs.LG2025
Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
Davide Bizzaro, Alessandro Daniele
Neurosymbolic integration (NeSy) blends neural-network learning with symbolic reasoning. The field can be split between methods injecting hand-crafted rules into neural models, and…
cs.LG2025
Gradient-Based Optimization on Gödel Logic as Discrete Local Search
Alessandro Daniele, Emile van Krieken
A fundamental challenge in neurosymbolic systems is applying continuous gradient-based optimization to discrete logical domains. While fuzzy relaxations provide differentiability,…