A `Neural = Symbolic` framework for sound and complete weighted real-val...
The code of NeurIPS 2021 paper "Scalable Rule-Based Representation Learn...