Tag
VeriSimpl introduces a solver-LLM framework that uses simplification-based verification to ensure correct translation of natural language optimization problems into solver formulations, achieving improved accuracy over existing methods.
EvoOptiGraph is a framework for automating optimization modeling from natural language using graph-based evolutionary generation to create diverse training data and co-evolve the model with weakness-driven reinforcement learning, achieving state-of-the-art results on multiple benchmarks.