3 papers
cs.LG2025
Curriculum Abductive Learning
Wen-Chao Hu, Qi-Jie Li, Lin-Han Jia +4
Abductive Learning (ABL) integrates machine learning with logical reasoning in a loop: a learning model predicts symbolic concept labels from raw inputs, which are revised through…
cs.AI2024
Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection
Wen-Chao Hu, Wang-Zhou Dai, Yuan Jiang +1
Neuro-Symbolic (NeSy) AI could be regarded as an analogy to human dual-process cognition, modeling the intuitive System 1 with neural networks and the algorithmic System 2 with sym…
cs.AI2023
Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees
Lue Tao, Yu-Xuan Huang, Wang-Zhou Dai +1
Neuro-symbolic hybrid systems are promising for integrating machine learning and symbolic reasoning, where perception models are facilitated with information inferred from a symbol…