TorchLean 获 ICML 聚光
AnimaAnandkumar · x · 2026-07-10
TorchLean 被选为 ICML 2026 AI4Math Workshop 的 Spotlight 论文/项目。 帖子介绍了它支持 typed tensors、graph programs、autograd、浮点语义、验证与证书检查、PyTorch 互操作等能力，并强调该框架正被用于验证机器学习系统。
AnimaAnandkumar · x · 2026-07-10
TorchLean 被选为 ICML 2026 AI4Math Workshop 的 Spotlight 论文/项目。 帖子介绍了它支持 typed tensors、graph programs、autograd、浮点语义、验证与证书检查、PyTorch 互操作等能力，并强调该框架正被用于验证机器学习系统。