Dejian Yang
4 papers · 2021–2025 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
๐
Conference Polyglot ยท Bronze
๐
Interdisciplinary Bridge ยท Bronze
๐ฃ
Hot Topic Early Bird
Top co-authors
Research topics
Keywords
reinforcement learning
(1)
code generation
(1)
monte carlo tree search
(1)
sparse reward
(1)
intrinsic reward
(1)
continual pre-training
(1)
large language model
(1)
modular decomposition
(1)
formal theorem proving
(1)
proof assistant
(1)
library-oriented code
(1)
chain-of-thought rationales
(1)
code input-output prediction
(1)
logic flow planning
(1)
state-space searching
(1)
universal reasoning primitives
(1)
Papers
CodeIO: Condensing Reasoning Patterns via Code Input-Output Prediction
ICML 2025
DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search
ICLR 2025
CERT: Continual Pre-training on Sketches for Library-oriented Code Generation
IJCAI 2022
Awakening Latent Grounding from Pretrained Language Models for Semantic Parsing
ACL 2021