mfatas1/optagent: Turns natural-language problems into verified optimization models: recognizes the structure, formulates from templates (no free-form codegen), and confirms with solver-backed counterexamples before solving.

Source-linked topic cluster with 1 signals across related articles, projects, models, papers, and source updates.