TY  - RPRT
TI  - Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible
AU  - Lin-Han Jia
AU  - Wen-Chao Hu
AU  - Jie-Jing Shao
AU  - Lan-Zhe Guo
AU  - Yu-Feng Li
PY  - 2025
UR  - https://arxiv.org/abs/2503.12917
ID  - 2503.12917
ER  -