Abstract: This article considers distributed optimization for minimizing the average of local nonconvex cost functions, by using local information exchange over undirected communication networks. To ...
Kimi Linear is a groundbreaking hybrid attention architecture that combines the best of both worlds: the efficiency of linear attention and the performance of full attention mechanisms. This ...
Abstract: This paper considers personalized mixed-integer programming problems (MIPs) with global coupled constraints, where each cost function is associated with both local and global decisions. In ...
GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback