@article{jia2025vl,
  title={Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible},
  author={Jia, Lin-Han and Hu, Wen-Chao and Shao, Jie-Jing and Guo, Lan-Zhe and Li, Yu-Feng},
  journal={arXiv preprint arXiv:2503.12917},
  year={2025}
}