"boolean satisfiability problems" Papers
2 papers found
Beyond Autoregression: Discrete Diffusion for Complex Reasoning and Planning
Jiacheng Ye, Jiahui Gao, Shansan Gong et al.
ICLR 2025posterarXiv:2410.14157
75
citations
SATURN: SAT-based Reinforcement Learning to Unleash LLMs Reasoning
Huanyu Liu, Jia Li, Hao Zhu et al.
NeurIPS 2025spotlightarXiv:2505.16368
3
citations