Statically Contextualizing Large Language Models with Typed Holes. - Andrew Blinn; Xiang Li 140; June Hyung Kim; Cyrus Omar (Proc. ACM Program. Lang., 2024)

Efficient Bottom-Up Synthesis for Programs with Local Variables. - Xiang Li 140; Xiangyu Zhou; Rui Dong 006; Yihong Zhang 004; Xinyu Wang 006 (Proc. ACM Program. Lang., 2024)

Artifact for Statically Contextualizing Large Language Models with Typed Holes. - Andrew Blinn; Xiang Li 140; June Hyung Kim; Cyrus Omar (Zenodo, 2024)