Microsoft Research, Bangalore, India; Microsoft Research, Redmond, United States
Lakshya A Agrawal, Aditya Kanade, Navin Goyal, Shuvendu Lahiri, Sriram Rajamani
Language models;code generation;correctness;program analysis
Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context