Neuro-symbolic Learning Yielding Logical Constraints | Read Paper on Bytez