TY  - RPRT
TI  - Compiler-Guided Inference-Time Adaptation: Improving GPT-5 Programming Performance in Idris
AU  - Minda Li
AU  - Bhaskar Krishnamachari
PY  - 2026
UR  - https://arxiv.org/abs/2602.11481
ID  - 2602.11481
ER  -