FLARE: Verifying MILP Reformulations with LLM-Based Theorem Provingflare.henryrobbins.com2 points·matt_d··0 commentsOpen articleSaveView on HN