TY - GEN
T1 - Enforcing convex constraints in Graph Neural Networks
AU - Rashwan, Ahmed
AU - Briggs, Keith
AU - Budd, Chris
AU - Kreusser, Lisa
PY - 2025/12/31
Y1 - 2025/12/31
N2 - Many machine learning applications require outputs that satisfy complex, dynamic constraints. This task is particularly challenging in Graph Neural Network models due to the variable output sizes of graph-structured data. In this paper, we introduce ProjNet, a Graph Neural Network framework which satisfies inputdependant constraints. ProjNet combines a sparse vector clipping method with the Component-Averaged Dykstra (CAD) algorithm, an iterative scheme for solving the best-approximation problem. We establish a convergence result for CAD and develop a GPU-accelerated implementation capable of handling large-scale inputs efficiently. To enable end-to-end training, we introduce a surrogate gradient for CAD that is both computationally efficient and better suited for optimization than the exact gradient. We validate ProjNet on four classes of constrained optimisation problems: linear programming, two classes of non-convex quadratic programs, and radio transmit power optimization, demonstrating its effectiveness across diverse problem settings.
AB - Many machine learning applications require outputs that satisfy complex, dynamic constraints. This task is particularly challenging in Graph Neural Network models due to the variable output sizes of graph-structured data. In this paper, we introduce ProjNet, a Graph Neural Network framework which satisfies inputdependant constraints. ProjNet combines a sparse vector clipping method with the Component-Averaged Dykstra (CAD) algorithm, an iterative scheme for solving the best-approximation problem. We establish a convergence result for CAD and develop a GPU-accelerated implementation capable of handling large-scale inputs efficiently. To enable end-to-end training, we introduce a surrogate gradient for CAD that is both computationally efficient and better suited for optimization than the exact gradient. We validate ProjNet on four classes of constrained optimisation problems: linear programming, two classes of non-convex quadratic programs, and radio transmit power optimization, demonstrating its effectiveness across diverse problem settings.
UR - https://www.scopus.com/pages/publications/105048530812
U2 - 10.52202/085713-5749
DO - 10.52202/085713-5749
M3 - Chapter in a published conference proceeding
AN - SCOPUS:105048530812
T3 - Advances in Neural Information Processing Systems
SP - 191418
EP - 191445
BT - 39th Conference on Neural Information Processing Systems, NeurIPS 2025
PB - Neural information processing systems foundation
CY - U. S. A.
T2 - 39th Conference on Neural Information Processing Systems, NeurIPS 2025
Y2 - 2 December 2025 through 7 December 2025
ER -