Phase-polynomial tensor decomposition (in 𝔽₂) for non-Clifford gate minimization in quantum circuits.

Database of geometric packing solutions

A collection of MILP instances for use with mipviz and other tools.

Explore MIP instance structure in the browser

A practical framework for AI-Assisted Research in Mathematics and Machine Learning

MIP 2022 Competition fix-propagate-repair heuristic

A GPU-Accelerated First-Order LP Solver

Open-source implementation of AlphaEvolve

Julia implementation for various Frank-Wolfe and Conditional Gradient variants

Mathematical Programming in JAX

GPU accelerated decision optimization

Julia interface to SCIP solver

A benchmark of (MI)LP solvers on energy modelling problems

A tool to query QPLIB, and create sub benchmarks

Linear optimization software

A general branch and bound framework

Mixed-Integer Convex Programming: Branch-and-bound with Frank-Wolfe-based convex relaxations

Feasibility Pump Collection

The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver

🦀 Small exercises to get you used to reading and writing Rust code!

Collection of my recipes

A Branch-and-Price solver for the Length-Constrained Cycle Partition Problem

Python interface to automatically formulate Machine Learning models into Mixed-Integer Programs

C++ metaheuristics modeler/solver for general integer optimization problems.

A C++ wrapper for SCIP

A SCIP minimal repository with batteries included

Feasibility Jump

Rust interface for SCIP

SCIP - Solving Constraint Integer Programs

Databricks’ Dolly, a large language model trained on the Databricks Machine Learning Platform