Compiler-Guided Inference-Time Adaptation: Improving GPT-5 Programming Performance in Idris

Minda Li, Bhaskar Krishnamachari

GPT-5, a state of the art large language model from OpenAI, demonstrates strong performance in widely used programming languages such as Python, C++, and Java; however, its ability…