Stars
Official codebase for the "A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts" benchmark paper.
Community extensions for TabPFN - the foundation model for tabular data. Built with TabPFN! 🤗
Tractable Circuit Zoo: interactive research project for StarAI UCLA lab
📈 Adaptive: parallel active learning of mathematical functions
Codes for the thesis presented for MSc Statistics with Data Science at University of Edinburgh, "Scaling Approximate Weighted Model Counting".
Tools for detecting unargmaxable classes in low-rank classifiers
Code for the ICML 2026 paper "The Expressive Power of Low Precision Softmax Transformers with (Summarized) Chain-of-Thought"
flexible pipeline-blocks for ml-research that integrates with you favorite logging-framework
A scalable implementation of diffusion and flow-matching with XGBoost models, applied to calorimeter data.
TabPFGen: Synthetic Tabular Data Generation with TabPFN
A cross-platform virtual tabletop for multiplayer card games
Fast and Expressive Multi-Byte Prediction with Probabilistic Circuits
State-of-the-art methods for human trajectory forecasting. Contains code for papers published at ECCV 2020 and ICCV 2021.
A visual simulator for the Turing-complete construction from the paper "Magic: The Gathering is Turing Complete".
Accelerating Long Context LLM Inference with Accuracy-Preserving Context Optimization in SGLang, vLLM, llama.cpp, OpenClaw, RAG, and Agentic AI.
Squared Unitary Probabilistic Circuits
A Proximal One-step Geometric Orthoptimizer Pytorch library
Controlled text generation with programmable constraints
An unofficial rules engine for the world's greatest card game.
Domain Specific Language for the Abstraction and Reasoning Corpus
A Scalable Approximate Method for Probabilistic Neurosymbolic Inference