3 ms·Flare: Verifying MILP Reformulations with LLM-Based Theorem Proving2 points by henryrobbins00 1mo ago