Train

Beyond Teacher Assignment: Domain-Normalized Multi-Teacher On-Policy Distillation

Xin Li, Hao Jiang, Xin Gao, Annan Wang, Yuchen Xie, Jinghao Guo, Xingwei Qu, Yichi Zhang, Chau Yuen

Label routing decides which teacher supervises a prompt, but not how strongly that teacher's feedback counts. Normalizing the feedback scale per domain adds 1.2–3.1 points over label routing, across 2B, 4B and 9B students.

ProjectarXivCodeDataModels

Target-Local Verifier Choice in Best-of-K Reasoning Selection

Xin Li, Hao Jiang, Weisi Lin

On a 34-generator, 7-verifier Best-of-K math panel, one strong process reward model is the best fixed verifier overall — and still not the best verifier for every generator. Label-free candidate statistics predict which verifier class wins.

ProjectCode

Re:Form: Reducing Human Priors in Scalable Formal Software Verification with RL in LLMs: A Preliminary Study on Dafny

Chuanhao Yan^*, Fengdi Che^*, Xuhan Huang^*, Xu Xu^*, Xin Li^*, Yizhi Li^*, Xingwei Qu^*, …, Jie Fu

OpenReviewarXivCode

GraphReduce: Coverage-Preserving LLM Aggregation for E-commerce Review Insights

Hao Jiang, Xin Li, Yichi Zhang, Weisi Lin

Turns thousands of review tuples into a ranked list of product insights while every tuple stays attached to the insight it supports: membership is computed outside the LLM, so coverage is 100% with no duplicates. An anti-copy reinforcement objective lifts the upstream extractor from 59.3% to 93.1% production quality.

Project