2 papers
cs.AI2024
Learning with Logical Constraints but without Shortcut Satisfaction
Zenan Li, Zehua Liu, Yuan Yao +4
Recent studies in neuro-symbolic learning have explored the integration of logical knowledge into deep learning via encoding logical constraints as an additional loss function. How…
cs.AI2024
Softened Symbol Grounding for Neuro-symbolic Systems
Zenan Li, Yuan Yao, Taolue Chen +4
Neuro-symbolic learning generally consists of two separated worlds, i.e., neural network training and symbolic constraint solving, whose success hinges on symbol grounding, a funda…