- 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
- When Agda met Vampire Artjoms Šinkarovs Michael Rawson Wed 25 February 2026
- A General Theory of Proportionality with Additive Utilities Piotr Skowron Thu 12 February 2026
- Computing the Reachability Value of Posterior-Deterministic POMDPs Nathanael Fijalkow Arka Ghosh Roman Kniazev Guillermo A. Pérez Pierre Vandenhove Thu 12 February 2026
- Robust Verification of Concurrent Stochastic Games Angel Y. He David Parker Thu 22 January 2026
- 130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone Josef Urban Thu 08 January 2026
- mathrmTIME[t]subseteq mathrmSPACE[O(sqrtt)] via Tree Height Compression Logan Nye Mon 17 November 2025
- The Model Counting Competitions 2021-2023 Johannes K. Fichte Markus Hecher Fri 25 April 2025
- Computing machinery and intelligence Alan Turing Mon 03 July 2017
Library Size: 13G (9 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
