LLM迭代优化热轧控制策略及安全验证

2026年10月，研究团队利用大语言模型迭代生成并优化Python控制器，以解决热轧过程控制问题。在52次独立运行测试中，采用适度长度搜索结合Luby重启策略，能够匹配最优预算分配，且无需进行特定调优。团队对174个合成启发式进行了自动化验证，通过组合静态分析、Z3证明及基于属性的测试，确保了关键安全属性。研究表明，小模型组合在分布外工况下的性能优于单一最佳启发式。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。