- TorchLean: Formalizing Neural Networks in Lean Robert Joseph George Jennifer Cruden Xiangru Zhong Huan Zhang Anima Anandkumar Sat 28 February 2026
- Continuous models of computation: from computability to complexity Amaury Pouly Mon 13 November 2023
- The complexity of accurate floating point computation James Demmel Fri 15 September 2023
Library Size: 13G (3 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
