Skip to content
@machine-reasoning-ufrgs

Machine Reasoning and Learning Research Group

Research Group of the Institute of Informatics at the Federal University of Rio Grande do Sul (UFRGS), focused on Neural-Symbolic Machine Learning and Reasoning

Popular repositories Loading

  1. TSP-GNN 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 109 25

  2. spixel-gat spixel-gat Public

    Companion code of "Superpixel Image Classification with GraphAttention Networks"

    27 2

  3. GNN-GCP GNN-GCP Public

    Graph Neural Network architecture to solve the decision version of the graph coloring problem (GCP)

    Python 25 8

  4. typed-graph-network typed-graph-network Public

    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 11 5

  5. mlbf mlbf Public

    Forked from andertavares/mlbf

    Machine Learning over Boolean Formulas

    Jupyter Notebook 8 1

  6. graph-nn graph-nn Public archive

    Generic code to produce Graph Neural Networks such as NeuroSAT

    GAP 1 2

Repositories

Showing 8 of 8 repositories
  • mlbf Public Forked from andertavares/mlbf

    Machine Learning over Boolean Formulas

    machine-reasoning-ufrgs/mlbf’s past year of commit activity
    Jupyter Notebook 8 3 0 0 Updated Dec 15, 2020
  • spixel-gat Public

    Companion code of "Superpixel Image Classification with GraphAttention Networks"

    machine-reasoning-ufrgs/spixel-gat’s past year of commit activity
    27 2 0 0 Updated Sep 29, 2020
  • GNN-GCP Public

    Graph Neural Network architecture to solve the decision version of the graph coloring problem (GCP)

    machine-reasoning-ufrgs/GNN-GCP’s past year of commit activity
    Python 25 8 4 0 Updated Jan 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?)

    machine-reasoning-ufrgs/TSP-GNN’s past year of commit activity
    Python 109 25 1 2 Updated Jan 4, 2020
  • typed-graph-network Public

    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

    machine-reasoning-ufrgs/typed-graph-network’s past year of commit activity
    Python 11 MIT 5 0 0 Updated Apr 18, 2019
  • Gender-Bias-Resumo Public
    machine-reasoning-ufrgs/Gender-Bias-Resumo’s past year of commit activity
    0 0 0 0 Updated Dec 3, 2018
  • graph-nn Public archive

    Generic code to produce Graph Neural Networks such as NeuroSAT

    machine-reasoning-ufrgs/graph-nn’s past year of commit activity
    GAP 1 MIT 2 0 0 Updated Aug 2, 2018
  • centrality-measures Public Forked from fgrandoinf/centrality-measures
    machine-reasoning-ufrgs/centrality-measures’s past year of commit activity
    C++ 0 Apache-2.0 3 0 0 Updated Oct 23, 2017

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…