FLARE: Verifying MILP Reformulations with LLM-Based Theorem Proving

(flare.henryrobbins.com)

2 points | by matt_d 9 hours ago ago