Closing the verification loop, Part 2: autonomous optimization | Heykuki News