Skip to main navigation Skip to search Skip to main content

Abstract

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.

Original languageEnglish
Title of host publication39th Conference on Neural Information Processing Systems, NeurIPS 2025
Place of PublicationU. S. A.
PublisherNeural information processing systems foundation
Pages191418-191445
Number of pages28
ISBN (Electronic)9798331338275
DOIs
Publication statusPublished - 31 Dec 2025
Event39th Conference on Neural Information Processing Systems, NeurIPS 2025 - San Diego, USA United States
Duration: 2 Dec 2025 → 7 Dec 2025

Publication series

NameAdvances in Neural Information Processing Systems
Volume38
ISSN (Print)1049-5258

Conference

Conference39th Conference on Neural Information Processing Systems, NeurIPS 2025
Country/TerritoryUSA United States
CitySan Diego
Period2/12/25 → 7/12/25

Acknowledgements

We gratefully acknowledge the support of the EPSRC Programme Grant EP/V026259/1, ’The mathematics of Deep Learning’.

ASJC Scopus subject areas

  • Signal Processing
  • Information Systems
  • Computer Networks and Communications

Fingerprint

Dive into the research topics of 'Enforcing convex constraints in Graph Neural Networks'. Together they form a unique fingerprint.

Cite this