Deng, Yanchen
11 publications
TMLR
2026
Nondeterministic Polynomial-Time Problem Challenge: An Ever-Scaling Reasoning Benchmark for LLMs
NeurIPS
2025
Let's Revise Step-by-Step: A Unified Local Search Framework for Code Generation with LLMs
NeurIPS
2022
Deep Attentive Belief Propagation: Integrating Reasoning and Learning for Solving Constraint Optimization Problems