GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient Descent

Ensuring that the outputs of neural networks satisfy specific constraints is crucial for applying neural networks to real-life decision-making problems. In this paper, we consider making a batch of neural network outputs satisfy bounded and general linear constraints.