Verifying MILP reformulations with LLM-based automated theorem proving
Working paper
An interactive tool for teaching the geometry of the simplex algorithm
SIGCSE 2023
