标签
VeriSimpl 提出了一种求解器-LLM框架，利用基于简化的验证来确保自然语言优化问题正确转换为求解器公式，相较于现有方法提高了准确性。
EvoOptiGraph是一个框架，用于从自然语言自动进行优化建模，使用基于图的进化生成来创建多样化的训练数据，并通过弱点驱动的强化学习共同进化模型，在多个基准测试上取得了最先进的结果。