Uploaded CLIPPER to arXiv, our technique that beats several neurosymbolic learning engines (including Scallop, Dolphin, ISED, and ABLSim) by exploiting the representation space. Special thanks to Aaditya Naik, Shibo Jin, Mayur Naik, and Dan Roth