Scholar
Xinyue Peng
Google Scholar ID: I8VG4jwAAAAJ
Southeast University
Communication Engineer
Computer Science
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
197
H-index
6
i10-index
6
Publications
11
Co-authors
0
Contact
No contact links provided.
Publications
10 items
SkillForge: Compositional Skill Synthesis with Verification-in-the-Loop for Generating Formally Verified Dafny Programs
2026
Cited
0
PADD: Path-Aligned Decompression Distillation for Non-Router Teacher to Guide MoE Student Learning
2026
Cited
0
Dep-Search: Learning Dependency-Aware Reasoning Traces with Persistent Memory
2026
Cited
0
NC2C: Automated Convexification of Generic Non-Convex Optimization Problems
arXiv.org · 2026
Cited
0
ToolGate: Contract-Grounded and Verified Tool Execution for LLMs
arXiv.org · 2026
Cited
0
LLM-OptiRA: LLM-Driven Optimization of Resource Allocation for Non-Convex Problems in Wireless Communications
2025
Cited
0
Bridging Context Gaps: Leveraging Coreference Resolution for Long Contextual Understanding
arXiv.org · 2024
Cited
3
DP-MemArc: Differential Privacy Transfer Learning for Memory Efficient Language Models
2024
Cited
0
Load more
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)
