分享

TorchLean: Formalizing Neural Networks in Lean

294
查看论文
热度