- 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
- Length Generalization Bounds for Transformers Andy Yang Pascal Bergstraßer Georg Zetzsche David Chiang Anthony W. Lin Thu 05 March 2026
- LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories) Rongge Xu Hui Dai Yiming Fu Jiedong Jiang Tianjiao Nie Hongwei Wang Junkai Wang Holiverse Yang Jiatong Yang Zhi-Hao Zhang Sat 28 February 2026
- TorchLean: Formalizing Neural Networks in Lean Robert Joseph George Jennifer Cruden Xiangru Zhong Huan Zhang Anima Anandkumar Sat 28 February 2026
- How Expressive Are Graph Neural Networks in the Presence of Node Identifiers Arie Soeteman Michael Benedikt Martin Grohe Balder ten Cate Sun 01 February 2026
- The Role of Logic and Automata in Understanding Transformers Anthony W. Lin Pablo Barcelo Wed 26 November 2025
- Programs as Singularities Daniel Murfet Will Troiani Thu 24 April 2025
- Logical perspectives on learning statistical objects Aaron Anderson Michael Benedikt Sat 05 April 2025
- Functional Programming for Modular Bayesian Inference Adam Ścibior Ohad Kammar Zoubin Ghahramani Mon 14 October 2019
- Survey of machine learning techniques for malware analysis Daniele Ucci Leonardo Aniello Roberto Baldoni Wed 07 August 2019
Library Size: 13G (10 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
