WeSearch
Hub / Tags / Reformulations
TAG · #REFORMULATIONS

Reformulations coverage.

Every story in the WeSearch catalog tagged with #reformulations, chronological, with view counts. Subscribe to the per-tag RSS feed to follow this topic in your reader of choice.

1 story tagged with #reformulations, in publish-time order across the WeSearch catalog. Tag pages update as new stories ingest.

⌘ RSS feed for this tag →   or   search "Reformulations"

RELATED TAGS
#flare1#verifying1#milp1#llm-based1
HENRYROBBINS

FLARE: Verifying MILP Reformulations with LLM-Based Theorem Proving

Landing page for the FLARE paper. FLARE uses an LLM-based agent and the Lean proof assistant to verify mixed-integer linear program (MILP) reformulations according to the Formulati…

7 views ·
#flare#verifying#milp

Browse more

All tags Search "Reformulations" RSS feed World US Technology Markets