DeepSeek-V3.2-685B

新框架提升自然语言到优化建模的准确性

研究人员开发了两个新框架，VeriSimpl和PEARL，旨在提高将自然语言描述转换为可执行优化模型的准确性和鲁棒性。VeriSimpl采用基于简化的验证方法，其中优化求解器生成诊断查询，以帮助LLM推理公式的正确性。另一方面，PEARL采用交互式的、求解器在循环中的方法，通过重复的求解-调试-修改周期来迭代优化模型。评估表明，这两种系统都显著优于现有方法，其中PEARL的较小模型甚至在准确性上超过了一个较大的竞争对手。