MTGA Enhancement Suite

Tools to generate, visualize and extend the large-scale historical film dataset

Minimal open-source implementation of AlphaProof and HyperTree Proof Search.

MaNGO - Adaptable Graph Network Simulators via Meta-Learning

Tool for data extraction and interacting with Lean programmatically.

The LaTeX format for my research statement, which has a right figure column

XMage - Magic Another Game Engine

This is the code and data accompying: "The Effectiveness of Curvature-Based Rewiring and the Role of Hyperparameters in GNNs Revisited"

Sequoia MSO Core Library and Programs

Pascals Python Graph Library

Transformers w/o Attention, based fully on MLPs

Enhancing Message Passing Neural Networks with Selective Long-Range Connections to Mitigate Over-Squashing

Experimenting with the expressiveness of graph embeddings utilizing graph products

Friends don't let friends make certain types of data visualization - What are they and why are they bad.

Benchmarking software for OpenAI API with Angular Front-End and Spring Backend

Probabilistic language based on pattern matching and constraint propagation, 153 examples

Tutorial on neural theorem proving

Implementation of the SPN model and the experiments from the LoG 2022 paper "Shortest Path Networks for Graph Property Prediction".

Differentiable Algorithms and Algorithmic Supervision.

The gzip classification method implemented for molecule classification.

Semantic search engine indexing 110 million academic publications

A playbook for systematically maximizing the performance of deep learning models.

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Graph Structured Neural Network

OGB extended with functionality to add random vertex features to input datasets.