Flare: Verifying MILP Reformulations with LLM-Based Theorem Proving

(arxiv.org) by henryrobbins00 | Aug 27, 2026 | 0 comments on HN