AITP
精选全部 AI 动态AI 日报Agent 接入关于更新日志信源提报反馈
登录 / 注册
AITOP
精选
过去 24 小时,从 668 条中筛出 35 条
全部模型产品行业论文技巧
标签:GPUSLS-LEO×
7月2日
11:00
11:00arXiv cs.AI@Jeffrey Fang, Keyi Shen, Anutam Srinivasan, Glen Chou
精选
本文提出GPUSLS-LEO方法,为非线性与神经网络动力学系统的线性时变(LTV)近似提供紧致、可微、GPU并行的线性化误差界(LEBs)。针对解析动力学,引入基于路径的Hessian界,比标准区间方法更紧;针对神经网络动力学,通过NN验证器生成的仿射松弛和局部雅可比修正导出认证LEBs。该方法在高达168维状态的非线性与神经网络动力学系统上,以67 Hz的速率在GPU上计算鲁棒控制策略,相比基线降低了求解时间和保守性,同时保持形式化保证和实时性能。
论文GPUSLS-LEOLTVGPU鲁棒控制

推荐理由:这篇论文把鲁棒控制加速到67 Hz,处理168维非线性动力学的车,GPUSLS-LEO在GPU上跑得比现有方法更快更紧,适合搞实时控制的人。
原文
6月11日
15:28
AITOP6月11日 15:28
1107 vs 303:谷歌悄悄开源了一个“拆打字机”的模型,把大模型速度翻了4倍
15:23
AITOP6月11日 15:23
DiffusionGemma颠覆文本生成?自回归模型的“统治”要结束了
15:07
AITOP6月11日 15:07
每秒1107个token,Google开源的扩散模型为什么能改变本地推理格局?
6月1日
00:09
AITOP6月1日 00:09
OpenAI 发起“Codex for Open Source”:免费赠送 6 个月 Pro 订阅,开源维护者能否迎来 AI 变革?
5月29日
08:02
AITOP5月29日 08:02
Opus 4.8发布:编程助手的“静默时刻”,是解放开发者,还是新门槛?🔥Anthropic 把 AI 编程的“确认键”彻底删掉了!Claude Code 搭载全新 Opus 4.8 模型,长时间任务不跑偏、不废话、不中断,像一个资深工程师一样默默干活,从功能开发到漏洞清扫全包圆,你在旁边喝茶等结果就行。过去 AI 写代码三步一问“这样可以吗”,现在它直接交完整交付物……自主编程的最后一层窗户纸,被捅破了。做自动化开发和代码审查的团队,这个模型建议直接上手,效率差距肉眼可见……Opus 4.8发布:编程助手的“静默时刻”,是解放开发者,还是新门槛?
精选全部日报登录