Dejian Yang

~Dejian_Yang1

CodeIO: Condensing Reasoning Patterns via Code Input-Output Prediction

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search