pytorch-interop

TorchLean 是一款全新发布的 Lean 4 框架，可实现神经网络软件的形式化验证，具备类型化张量、可验证自动微分、PyTorch 互操作性及 GPU 执行等特性。此次发布进一步扩展了对扩散模型、GPT 风格 Transformer 和状态空间模型等现代架构的支持，将实际的机器学习工作流与数学证明检查紧密连接。