ICML研究:证明验证扩展与长程任务规划
VectorInst · x · 2026-07-08
ICML本周另几场研究:Renjie Liao讲数学证明验证的扩展;Florian Shkurti讲稳定的离线到在线强化学习迁移;Igor Gilitschenski讲测试时规划,将长程任务成功率从接近零提升到90%以上。
所属事件:研究揭示GRPO训练崩溃原因及ICML前沿AI进展(2 条相关)→
「研究」频道最新
- AI 研究者：数学模型早就擅长穷举式找反例 — dyamins · 2026-07-21
- 本周必读 AI 论文：智能体、长上下文 RL 和机器人策略 — TheTuringPost · 2026-07-21
- AI 工具正在改写形式化数学的反例发现 — burny_tech · 2026-07-21
- 可解释性研究的实证软肋：缺乏基线对比与显著性检验 — burny_tech · 2026-07-21
- Generative Bionics 人形机器人六个月走到可行走平台 — CyberRobooo · 2026-07-21
- 免疫基础模型 MAESTRO 试图预测未来免疫轨迹 — arjunrajlab · 2026-07-21