arXiv · AI· Nima H. Siboni, Seyedreza Kiamousavi, Vahid Rostami, Emad Scharifi·· 12 小时前AI 评分23
基于语言模型的热轧控制策略搜索、选择与验证
From Language Models to Control Policies: Search, Selection, and Verification
AI 导读
研究利用 LLM 迭代生成并优化 Python 控制器以解决热轧过程控制问题。在 52 次独立运行中，适度长度搜索结合 Luby 重启策略可匹配最优预算分配，无需特定调优。 针对 174 个合成启发式，通过组合静态分析、Z3 证明及基于属性的测试自动化验证关键安全属性。小模型组合在分布外工况下的性能优于单一最佳启发式。
来源：arXiv · AI · arxiv.org