# Logical formula learner

This is a pytorch implementation of the experiments in paper "Learning Arbitrary Logical Formula as a Sparse Neural Network Module". See environment.yml for the conda environment that we used to run this code.