Skip to content

Author

Xin-Yi Wang

We have 4 of 7 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Oct 2026

Where RL Breaks: Localizing and Repairing Failures via Targeted Continued Pretraining

The use of the failure $n$-grams to retrieve text from the pretraining corpus and continue pretraining the base model on it before RL suggests that where RL fails is a cheap and effective signal for selecting pretraining data.

Xin-Yi Wang, Dan-Qi Chen · 0 citations
#machine learning Preprint Jun 2026

IR-SIM: A Lightweight Declarative Simulator for Navigation Learning and Benchmarking

The Intelligent Robot Simulator is developed, a lightweight declarative simulator implemented as a Python library to support navigation learning and benchmarking through rapid construction of reusable and diverse scenarios and efficient execution on accessible platforms.

Rui-Hua Han, Shuai Wang, Cheng-Yang Li et al. · 6 citations
Preprint Aug 2026

SRL-MPC: Shape-Aware Reinforcement Learned Model Predictive Control

Shape-Aware Reinforcement Learned Model Predictive Control is proposed, a method for safe, efficient, and adaptive navigation in crowds with heterogeneous shapes without geometry simplification that preserves the safety structure and generalizability of MPC while integrating the adaptability and intelligence of RL.

Rui-Hua Han, Rui Gao, Zhe Liu et al. · 0 citations
#natural language process... Preprint Aug 2026

SkillForge: Compositional Skill Synthesis with Verification-in-the-Loop for Generating Formally Verified Dafny Programs

SKILLFORGE is introduced, a framework that decomposes formal code synthesis into a library of atomic, reusable skills, each targeting a specific subtask such as specification inference, body synthesis, invariant generation, error diagnosis, or targeted repair, and defined by a prompt template, tool binding, and decidab...

Yan-Ming Liu, Xinyue Peng, Jiannan Cao et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.