Skip to content
Change the repository type filter

All

    Repositories list

    • mlbf

      Public
      Machine Learning over Boolean Formulas
      Jupyter Notebook
      3800Updated Dec 15, 2020Dec 15, 2020
    • Companion code of "Superpixel Image Classification with GraphAttention Networks"
      22800Updated Sep 29, 2020Sep 29, 2020
    • GNN-GCP

      Public
      Graph Neural Network architecture to solve the decision version of the graph coloring problem (GCP)
      Python
      82530Updated Jan 27, 2020Jan 27, 2020
    • TSP-GNN

      Public
      Graph Neural Network architecture to solve the decision variant of the Traveling Salesperson Problem (is there a Hamiltonian tour in G with up to a given cost?)
      Python
      2511712Updated Jan 4, 2020Jan 4, 2020
    • A model builder helper for creating graph neural networks akin to the ones described in https://arxiv.org/abs/1806.01261 and https://ieeexplore.ieee.org/document/4700287
      Python
      MIT License
      51100Updated Apr 18, 2019Apr 18, 2019
    • 0000Updated Dec 3, 2018Dec 3, 2018
    • graph-nn

      Public archive
      Generic code to produce Graph Neural Networks such as NeuroSAT
      GAP
      MIT License
      2100Updated Aug 2, 2018Aug 2, 2018
    • C++
      Apache License 2.0
      3000Updated Oct 23, 2017Oct 23, 2017