Minda Li

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Eval Frameworks & Benchmarks (1)

Frequent co-authors

Bhaskar Krishnamachari (1)

Papers (1)

Feb 12, 2026

OpenAIFeb 12, 2026

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

Compiler feedback transforms GPT-5 from an Idris novice to near-expert, suggesting a powerful method for adapting LLMs to low-resource programming languages.

Minda Li, Bhaskar Krishnamachari

Code Generation & Program Synthesis Eval Frameworks & Benchmarks

Search

Minda Li

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)