Lin-Han Jia, Wen-Chao Hu, Jie-Jing Shao, Lan-Zhe Guo, Yu-Feng Li: Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible. ICML 2025