强化学习后训练如何催生组合推理策略，来自ICML workshop的前沿实证。
arXiv:2607.07646v1 Announce Type: new Abstract: Does RL post-training merely amplify primitive skills already latent in a base model, or can it compos…
用大模型把形式化验证从玩具级带到大型系统，这套自动组合推理框架值得一看。
arXiv:2604.11556v2 Announce Type: replace-cross Abstract: LLM-assisted software development has become increasingly prevalent, and can generate large-…
为冻结的大语言模型打造即插即用通用推理器，无需微调即可增强模型推理能力
arXiv:2505.19075v3 Announce Type: replace-cross Abstract: Large Language Models (LLMs) have demonstrated remarkable general capabilities, but enhancin…
多智能体时空推理新方法：提出故障感知的马尔可夫路由策略，应对异构专家协作时的多种失败模式，提升组合推理鲁棒性。
arXiv:2605.10057v3 Announce Type: replace Abstract: Compositional spatiotemporal reasoning often requires a system to invoke multiple heterogeneous sp…