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…