Our paper on using LLMs to synthesize specialized, verifiable heuristics is conditionally accepted to appear at EuroSys ‘27!