AI research agents are increasingly used to search over programs, mathematical constructions, and proofs. However, existing systems typically optimize evaluator feedback without adequately governing how that feedback is interpreted, challenged, and reused. As a result, promising but fragile candidates can be promoted a...
Bin-Jie Guo, Ai-Sheng Mo, Rui-Tong Li et al.· 0 citations
This work preserves four frozen LoRA branches, each derived from a different post-training trajectory, to provide evidence that post-training branches, even without co-training, can be collectively beneficial for deployment.
Rui-Tong Li, Bin-Jie Guo, Ai-Sheng Mo et al.· 0 citations
Prefix recovery provides a practical diagnostic for selecting costly distribution-level distillation and has the greatest headroom when correct traces remain unevenly recoverable when distribution matching has the greatest headroom.
Rui-Tong Li, Bin-Jie Guo, Ai-Sheng Mo et al.· 1 citation
The result is an auditable division of labor: models widen the search for removable code, order bounds the damage a mis-ranked proposal can do, and execution retains authority over every committed deletion.
Rui-Tong Li, Bin-Jie Guo, Ai-Sheng Mo 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.