6 papers
EPOCH: Reliable Discovery through Evidence-Governed Search
Binjie Guo, Aisheng Mo, Ruitong Li +1
AI research agents are increasingly used to search over programs, mathematical constructions, and proofs. However, existing systems typically optimize evaluator feedback without ad…
MSA-CITE: A Co-Adapted LoRA Specialist Ecology for Fixed-Budget Small-Model Inference
Ruitong Li, Binjie Guo, Aisheng Mo +3
Compact language models are typically deployed by retaining a single post-training checkpoint and sampling it repeatedly. In this work, we challenge this practice by treating multi…
Beyond Imitation: Auditing the Recoverability of Reasoning in Distilled Models
Ruitong Li, Binjie Guo, Aisheng Mo +4
A correct teacher solution becomes useful supervision when the receiving student can continue its reasoning. We measure this compatibility with prefix recovery: after revealing 25%…
Agreement Before Diversity: Verification-First Complementarity for Heterogeneous Language-Model Coordination
Ruitong Li, Binjie Guo, Aisheng Mo +3
Heterogeneous language-model ensembles expand the space of candidate responses, yet they lack a principled criterion for when a newly generated answer should supersede an already s…
The Order Is the Guarantee: Verifier-Budgeted Code Deletion with Static-First Learned Proposals
Ruitong Li, Binjie Guo, Aisheng Mo +4
Frontier coding models now match or exceed strong human reference points on programming benchmarks, yet benchmark success does not imply maintainable software. Prompt-driven "vibe…
When Search Teaches Style: Causal Internalization of Tactical Priors in AlphaZero
Ruitong Li, Binjie Guo, Aisheng Mo +4
AlphaZero is normally evaluated as one agent: a policy-value network fused with Monte Carlo tree search. That fusion hides a causal question. When self-play search is given a usefu…