Software

• markovml
  A Python package for constructing Markov processes whose parameters are generated by machine learning models, and verifying their properties. It provides a domain-specific language and implements a decomposition and bound propagation scheme to solve the verification problem. It accompanies the paper "Formal Verification of Markov Processes with Learned Parameters".
  [GITHUB]
• citizen-gemini
  A chatbot that uses Google's Gemini to answer questions about Ontario's parliament (meetings, bills, etc.), for Google's Gemini Long Context competition. Uses a two-model approach for retrieval and answering, along with a dynamic caching approach to reduce latency.
  [GITHUB]
• pipip
  Solving Boolean satisfiability and integer programming with Python packaging. I thought it would be funny and it was a good exercise in NP-completeness. See the blog post here.
  [GITHUB]
• sym2z
  Check feasibility of SymPy systems with Z3. Currently no good way to connect SymPy and Z3, so this is a quick hack to do it.
  [GITHUB]
• markovag
  A Python package for performing sensitivity analyses in cost-effectiveness analysis with algebraic geometry. The basic idea is that all such analyses can be reformulated as systems of polynomial inequalities. We can then construct a cylindrical algebraic decomposition (CAD) of this system in order to determine the entire parameter space over which our objective holds. It accompanies the paper "Exact sensitivity analysis of Markov reward processes via algebraic geometry".
  [GITHUB]
• Solver for polynomials with algebraic coefficients
  I implemented a solver for polynomials with algebraic coefficients, which is now officially part of SymPy. Previously, SymPy could only compute the roots of polynomials with real rational coefficients.
  [GITHUB]
• Cylindrical algebraic decomposition in Python
  Cylindrical algebraic decomposition (CAD) is a fundamental algorithm in real algebraic geometry to test the consistency of a semialgebraic set, or what is known in computer science as the existential theory of the reals. I developed one of the few open-source implementations of it, and the first one in pure Python. I am currently working to have it integrated into SymPy.
  [GITHUB]
• Foodmask
  Chrome plugin that automatically hides pictures of food on web pages (kind of a humorous project I made while fasting in Ramadan). It uses a zero-shot image classification model that runs fully locally in the browser to find pictures of food, thanks to the great Transfomers.js library.
  [GITHUB]
• GPT_Tweet
  Code with instructions to finetune OpenAI's GPT to mimic your style and tone based on your Twitter archive. A friend asked me how so I thought others would find it useful too.
  [GITHUB]
• PasteOCR - Anki plugin
  Plugin for Anki that extracts text from images using Google's Tesseract. More than a thousand downloads.
  [DOWNLOAD] [GITHUB]