Maaz

pdlp. PDLP algorithm for linear programming

agentic-pbt. Python

sostactic. Proving polynomial inequalities with sum-of-squares certificates

cad. Cylindrical algebraic decomposition in pure Python (SymPy)

markovml. Formal verification of Markov processes with learned parameters

anki-pasteOCR. Addon for flashcard program Anki to paste images as text using Tesseract OCR.

stable-marriage-lean. Formalizing the stable marriage problem and the Gale-Shapley algorithm in Lean

markovag. Exact sensitivity analysis of Markov reward processes via algebraic geometry

pbt-batch-invariance. Property-based testing of batch-invariant operations

pipip. Solving Boolean satisfiability problems and integer programming with Python packaging

schumaker-spline. Python

sym2z. Check feasibility of SymPy systems with Z3

foodmask. Chrome extension that uses quantized multimodal models to classify and hide pictures of food.

acc-estim. Code for paper "On Orderings of Probability Vectors and Unsupervised Performance Estimation".

gpt_tweet. How to fine tune OpenAI's GPT on your tweets

agentic-pbt-site. Bug reports generated from the "Agentic property-based testing" paper

primes. Python