- Putnam 2025 Problems in Rocq using Opus 4.6 and Rocq-MCP Guillaume Baudart Marc Lelarge Tristan Stérin Jules Viennot Tue 31 March 2026
- The Role of Logic and Automata in Understanding Transformers Anthony W. Lin Pablo Barcelo Wed 26 November 2025
- Reachability in symmetric VASS Łukasz Kamiński Sławomir Lasota Sat 05 July 2025
- Attention Is All You Need Ashish Vaswani Noam Shazeer Niki Parmar Jakob Uszkoreit Llion Jones Aidan N. Gomez Lukasz Kaiser Illia Polosukhin Tue 17 December 2024
- Computing the Hermite form of a matrix of Ore polynomials Mark Giesbrecht Myung Sub Kim Sat 19 September 2020
Library Size: 13G (5 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
