AIBullisharXiv – CS AI · 7h ago7/10
🧠
Learning to Solve and Optimize by Evolving Code
Researchers introduce CHECKMATE, a tool that automatically generates optimization algorithms through code evolution, requiring only formal problem specifications and natural language descriptions rather than expert-designed heuristics. The evolved algorithms outperform state-of-the-art solvers on industrial configuration and scheduling problems, demonstrating formal methods can guide automated algorithm discovery for complex real-world optimization challenges.