» Tag
theorem-proving
1 postsFlare: Verifying MILP Reformulations with LLM-Based Theorem Proving
FLARE combines an LLM agent with the Lean proof assistant to formally verify MILP reformulations, backed by a new 109-formulation benchmark.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.com