GitHub repository: siraben/difflogic
Primary language: Python
Description: Train neural networks that distill into logic circuits, using JAX