Sriram Rajamani

Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context

Language models of code (LMs) work well when the surrounding code provides sufficient context. This is not true when it becomes necessary to use types, functionality or APIs defined elsewhere in the repository or a linked library, especially those not seen during training. LMs suffer from limited aw…