3 papers
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 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.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…