- Simple generators of rational function fields Alexander Demin Gleb Pogudin Fri 06 March 2026
- TorchLean: Formalizing Neural Networks in Lean Robert Joseph George Jennifer Cruden Xiangru Zhong Huan Zhang Anima Anandkumar Sat 28 February 2026
Library Size: 13G (2 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
