Name: Machine Reasoning and Learning Research Group
Type: Organization
Bio: 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
Machine Reasoning and Learning Research Group's Projects
Graph Neural Network architecture to solve the decision version of the graph coloring problem (GCP)
Generic code to produce Graph Neural Networks such as NeuroSAT
Machine Learning over Boolean Formulas
Companion code of "Superpixel Image Classification with GraphAttention Networks"
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?)
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