{"type": "article", "title": "SOVER: Formal Certification of Optimization Reformulations via LLM-Assisted SMT Verification", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/sover-formal-certification-of-optimization-reformulations-via-llm-assisted-smt", "original_source": "https://www.machinebrief.com/news/sover-formal-certification-of-optimization-reformulations-vi-8hg9", "published": "2026-09-02T04:00:00+00:00", "accessed": "2026-09-02", "id": "sover-formal-certification-of-optimization-reformulations-via-llm-assisted-smt"}