2 papers
cs.AI2026
DConstrain: Compiling Context-Parameterized Transitions for Diffusion Language Model Constrained Decoding
Shidong Cao, Jing Ma, Wenhao Chai +3
Diffusion language models (DLMs) decode multiple tokens in parallel, so individually valid tokens can be incompatible together under a schema. Exact joint inference over a grammar…
cs.AI2025
EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty
Yuchen Tian, Ruiyuan Huang, Xuanwu Wang +6
Large Language Models (LLMs) for formal theorem proving have shown significant promise, yet they often lack generalizability and are fragile to even minor transformations of proble…