Stars
Lean proof that d-DNNF is not polynomially closed under negation, with the paper and its corollaries.
PyC (Pytorch Concepts) is a PyTorch-based library for designing concept-based interpretable deep learning models.
Embeddings as Probabilistic Equivalence in Logic Programs (NeurIPS2025)
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! 🤗
📈 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