2022
Injecting Logical Constraints into Neural Networks via Straight-Through Estimators
ICML 2022spotlight
Injecting discrete logical constraints into neural network learning is one of the main challenges in neuro-symbolic AI. We find that a straight-through-estimator, a method introduced to train binary neural networks, could effectively be applied to incorporate logical constraints into neural network…