2 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 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…