Static Analysis

monitors4codegen — Monitor-Guided Decoding

Monitor-Guided Decoding uses LSP (Language Server Protocol) static analysis as a 'monitor' during code LM generation to enforce semantic validity — identifiers must exist, types must match. NeurIPS 2023 paper from Microsoft with the multispy Python library for building LSP-backed code gen applications.