From the 2 of 14 linked papers with an AI index.
4 papers · 1 filter
Distilling Temporal Search and Reasoning: Evolving LLMs for Future Prediction via Harness-Assisted Efficient Data Synthesis
Wanxu Cai, Zhengyu Chen, Huaisheng Zhu +3
The paper introduces a time‑truncation harness that limits temporal information during data synthesis, enabling large language models to perform more effective temporal search and…
Co-Harness: Co-Evolving Harnesses and Model Weights for LLM Agents
Zhengyu Chen, Teng Xiao, Huaisheng Zhu +3
Post-training agents for automated AI research requires optimizing not only model parameters, but also the runtime harness that shapes how research trajectories are generated, eval…
Beyond Trajectory Imitation: Strategy-Guided Policy Optimization for LLM Reasoning
Tianyuan Shi, Canbin Huang, Bei Li +4
Distilling reasoning capabilities from strong to weak language models typically involves imitating specific solution trajectories, effectively transferring what to answer rather th…
LongCat-Flash-Prover: Advancing Native Formal Reasoning via Agentic Tool-Integrated Reinforcement Learning
Jianing Wang, Jianfei Zhang, Qi Guo +24
We introduce LongCat-Flash-Prover, a flagship 560-billion-parameter open-source Mixture-of- Experts (MoE) model that advances Native Formal Reasoning in Lean4 through agentic tool-…