Injecting Logical Constraints into Neural Networks via Straight-Through Estimators.

Zhun Yang Joohyung Lee Chiyoun Park

Published in: CoRR (2023)

Keyphrases

neural network
constrained optimization
pattern recognition
artificial neural networks
data sets
constraint programming
database
back propagation
fault diagnosis
semi supervised
neural network model
feed forward
multilayer perceptron
associative memory
resource constraints
logical structure
analytical expressions