Symbolic Discovery of Optimization Algorithms
Xiangning Chen, Xuanyi Dong, Cho-Jui Hsieh, Da Huang, Quoc V Le, Chen Liang, Yifeng Lu, Thang Luong, Hieu Pham, Esteban Real, Kaiyuan Wang
Topics & Concepts
Metaheuristic Optimization Algorithms ResearchConstraint Satisfaction and OptimizationFormal Methods in Verification