Search Results for author:
Found 2 papers, 2 papers with code
Are Graph Neural Networks Optimal Approximation Algorithms?
In this work we design graph neural network architectures that capture optimal approximation algorithms for a large class of combinatorial optimization problems, using powerful algorithmic tools from semidefinite programming (SDP).
Aquarium: Cassiopea and Alewife Languages
An Alewife specification can be used to verify and synthesize code for any machine described in Cassiopea, given a machine-specific translation for abstractions used in the specification.
Programming Languages
Cannot find the paper you are looking for? You can
Submit a new open access paper.
