Tao, L.; Huang, Y.-X.; Dai, W.-Z.; Jiang, Y. Deciphering Raw Data in Neuro-Symbolic Learning With Provable Guarantees. AAAI 2024, 38, 15310-15318.