GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous ...
Abstract: Permutation optimization is essential in various fields, such as task scheduling, path planning. Considering the exploration ability of Estimation of Distribution Algorithms (EDAs), a ...
Abstract: This paper proposes a multivariate optimization framework to construct a neural-network ensemble for short-term load forecasting (STLF) at the distribution-substation level. A linear network ...