← Search

Shengyu Ye

6 accepted papers

2026

Reinforcement Learning with Verifiable Rewards Implicitly Incentivizes Correct Reasoning in Base LLMs

ICLR 2026poster

Recent advancements in long chain-of-thought (CoT) reasoning, particularly through the Group Relative Policy Optimization algorithm used by DeepSeek-R1, have led to significant interest in the potential of Reinforcement Learning with Verifiable Rewards (RLVR) for Large Language Models (LLMs). While…

Cited by 0SourceScholar
2026

Themis: Automated Constraint-Aware Test Synthesis Framework for Code Reinforcement Learning

AAAI 2026technical

Reinforcement learning (RL) has shown promise for enhancing code generation capabilities in large language models (LLMs), yet its effectiveness critically depends on high-quality test suites for reliable reward signals. Current approaches suffer from inadequate test case quantity and quality, leadin

Cited by 0SourcePDFScholar
2025

CursorCore: Assist Programming through Aligning Anything

ICML 2025poster

Large language models have been successfully applied to programming assistance tasks, such as code completion, code insertion, and instructional code editing. However, these applications remain insufficiently automated and struggle to effectively integrate various types of information during the pro…

2025

VERSE: Verification-based Self-Play for Code Instructions

AAAI 2025technical

Instruction-tuned Code Large Language Models (Code LLMs) have excelled in diverse code-related tasks, such as program synthesis, automatic program repair, and code explanation. To collect training datasets for instruction-tuning, a popular method involves having models autonomously generate instruct…

2024

Optimizing Code Retrieval: High-Quality and Scalable Dataset Annotation through Large Language Models

EMNLP 2024main

Code retrieval aims to identify code from extensive codebases that semantically aligns with a given query code snippet. Collecting a broad and high-quality set of query and code pairs is crucial to the success of this task. However, existing data collection methods struggle to effectively balance sc…

Cited by 5SourcePDFScholar
2024

VPTQ: Extreme Low-bit Vector Post-Training Quantization for Large Language Models

EMNLP 2024main

Scaling model size significantly challenges the deployment and inference of Large Language Models (LLMs). Due to the redundancy in LLM weights, recent research has focused on pushing weight-only quantization to extremely low-bit (even down to 2 bits). It reduces memory requirements, optimizes storag…