Sakana AI· Sakana models

ShinkaEvolve in Action: How a Human-AI Partnership Conquered a Coding Challenge

Sakana AI's ShinkaEvolve framework, an evolutionary code optimization tool powered by LLMs, was applied to optimize the SAT encoding in a solution for the ICFP Programming Contest. It achieved up to a 10x speedup in solver execution time, enabling the team to solve larger problem instances, and also provided insights that improved human development.

From the source

By automatically optimizing the SAT encoding at the heart of our approach, ShinkaEvolve accelerated our solver by up to 10x.

sakana.ai

Announced

15 Oct 2025 15:00 UTC

Detected

28 Aug 2026 21:48 UTC (+317d after)