{"type": "article", "title": "Flare: Verifying MILP Reformulations with LLM-Based Theorem Proving", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/flare-verifying-milp-reformulations-with-llm-based-theorem-proving", "original_source": "https://arxiv.org/abs/2608.25220", "published": "2026-08-27T17:58:34+00:00", "accessed": "2026-08-27", "id": "flare-verifying-milp-reformulations-with-llm-based-theorem-proving"}