Real world combinatorial optimization problems such as scheduling are typically too complex to solve with exact methods. Additionally, the problems often have to observe vaguely specified constraints of different importance, the available data may be uncertain, and compromises between antagonistic criteria may be necessary. We present a combination of approximate reasoning based constraints and iterative optimization based heuristics that help to model and solve such problems in a framework of C++ software libraries called StarFLIP++. While initially developed to schedule continuous caster units in steel plants, we present in this paper results from reusing the library components in a shift scheduling system for the workforce of an industrial production plant.
LAGO: Language Agents with Reusable Growing Options
Shenzhen University（深圳大学）；University of Hong Kong（香港大学）；Hunan University（湖南大学）；National University of Singapore（新加坡国立大学）；Evolvent Research Team（Evolvent研究团队）；Fudan University（复旦大学）
AlphaOPT: Formulating Optimization Programs with Self-Improving LLM Experience Library
Singapore-MIT Alliance for Research and Technology（新加坡-麻省理工联合研究技术联盟）；Massachusetts Institute of Technology（麻省理工学院）；University of Florida（佛罗里达大学）；Northeastern University（东北大学）；Singapore Management University（新加坡管理学院）
ARISE: Agent Reasoning with Intrinsic Skill Evolution in Hierarchical Reinforcement Learning
Department of Electrical and Computer Engineering, George Washington University（乔治华盛顿大学电气与计算机工程系）；Department of Mathematical Sciences, University of Texas at Dallas（德克萨斯大学达拉斯分校数学科学系）；School of Business, George Washington University（乔治华盛顿大学商学院）
LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)
Yau Mathematical Sciences Center, Tsinghua University（清华大学尤洋数学科学中心）；Iluvatar CoreX；Department of Mathematics, Southern University of Science and Technology（南方科技大学数学系）；Westlake Institute for Advanced Study, Westlake University（西湖研究学院）；Qiuzhen College, Tsinghua University（清华大学齐臻学院）；Department of Physics, The Chinese University of Hong Kong（香港中文大学物理系）；Yanqi Lake Beijing Institute of Mathematical Sciences and Applications (BIMSA)（燕琦湖北京应用数学研究所（BIMSA））
