Compiler-Runtime Co-operative Chain of Verification for LLM-Based Code Optimization.

Hyunho Kwon, Sanggyu Shin, Ju Min Lee, Hoyun Youm, Seungbin Song, Seongho Kim, Hanwoong Jung, Seungwon Lee, Hanjun Kim

Browse the full CGO paper archive.