activity
20232026
most cited"I Want It That Way": Enabling Interactive Decision Support Using Large Language Models and Constraint Programming

2 citations · 3 across the 6 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.AI2026

FLARE: Verifying MILP Reformulations with LLM-Based Theorem Proving

Henry Robbins, Connor Lawless, Madeleine Udell +1

Mixed-Integer Linear Programming (MILP) is a fundamental tool for combinatorial optimization with extensive real-world applications. A central challenge is designing computationall…