most citedStatically Contextualizing Large Language Models with Typed Holes

9 citations · 9 across the 2 of their papers we have counts for

collaborators

2 papers

cs.PL2025

Syntactic Completions with Material Obligations

David Moon, Andrew Blinn, Thomas J. Porter +1

Code editors provide essential services that help developers understand, navigate, and modify programs. However, these services often fail in the presence of syntax errors. Existin…

cs.PL2024★ 9 cited

Statically Contextualizing Large Language Models with Typed Holes

Andrew Blinn, Xiang Li, June Hyung Kim +1

Large language models (LLMs) have reshaped the landscape of program synthesis. However, contemporary LLM-based code completion systems often hallucinate broken code because they la…