Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible | Read Paper on Bytez