3 papers
cs.AI2026
Constrained Adaptive Rejection Sampling
PaweÅ Parys, Sairam Vaidya, Taylor Berg-Kirkpatrick +1
Language Models (LMs) are increasingly used in applications where generated outputs must satisfy strict semantic or syntactic constraints. Existing approaches to constrained genera…
cs.SE2025
Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using Language Models
Sairam Vaidya, Marcel Böhme, Loris D'Antoni
Modern extensible compiler frameworks-such as MLIR-enable rapid creation of domain-specific language dialects. This flexibility, however, makes correctness harder to ensure as the…
cs.AI2025
Constrained Sampling for Language Models Should Be Easy: An MCMC Perspective
Emmanuel Anaya Gonzalez, Sairam Vaidya, Kanghee Park +3
Constrained decoding enables Language Models (LMs) to produce samples that provably satisfy hard constraints. However, existing constrained-decoding approaches often distort the un…