- Hypersequent Calculi Have Ackermannian Complexity A.~R. Balasubramanian Vitor Greati Revantha Ramanayake Wed 25 February 2026
- Constructing (Co)inductive Types via Large Sizes Benno van den Berg Bastiaan Laarakker Daniel Otten Wed 25 February 2026
- When Agda met Vampire Artjoms Šinkarovs Michael Rawson Wed 25 February 2026
- History-Constrained Systems Louwe B. Kuijer David Purser Henry Sinclair-Banks Patrick Totzke Tue 24 February 2026
- Hilbert's Nullstellensatz is in the Counting Hierarchy Robert Andrews Abhibhav Garg Éric Schost Tue 24 February 2026
- A multiplicative surface signature through its Magnus expansion Ilya Chevyrev Joscha Diehl Kurusch Ebrahimi-Fard Nikolas Tapia Mon 23 February 2026
- A Primer on the Signature Method in Machine Learning Ilya Chevyrev Andrey Kormilitzin Mon 23 February 2026
- Stochastic Control with Signatures Peter Bank Christian Bayer Paul P. Hager Sebastian Riedel Tobias Nauen Mon 23 February 2026
- On the signature of an image Joscha Diehl Kurusch Ebrahimi-Fard Fabian N. Harang Samy Tindel Mon 23 February 2026
- Exploring VASS Parameterised by Geometric Dimension Wojciech Czerwiński Roland Guttenberg Łukasz Orlikowski Henry Sinclair-Banks Yangluo Zheng Fri 20 February 2026
- Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib) Christopher Henson Fabrizio Montesi Fri 20 February 2026
- Hennessy-Milner Logic in CSLib, the Lean Computer Science Library Fabrizio Montesi Marco Peressotti Alexandre Rademaker Fri 20 February 2026
- Computation and Size of Interpolants for Hybrid Modal Logics Jean Christoph Jung Jędrzej Kołodziejski Frank Wolter Fri 20 February 2026
- Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games Marta Kwiatkowska Gethin Norman David Parker Gabriel Santos Wed 18 February 2026
- Model checking with temporal graphs and their derivative Binh-Minh Bui-Xuan Florent Krasnopol Bruno Monasson Nathalie Sznajder Wed 18 February 2026
- The Only Distributive Law Over the Powerset Monad Is the One You Know Sergey Goncharov Dirk Hofmann Pedro Nora Lutz Schrøder Paul Wild Wed 18 February 2026
- Scoped MSO, Register Automata, and Expressions: Equivalence over Data Words Radosław Piórkowski Wed 18 February 2026
- Solving Qualitative Multi-Objective Stochastic Games Moritz Graf Anthony Lin Rupak Majumdar Wed 18 February 2026
- Out-of-Order Membership to Regular Languages Antoine Amarilli Sebastien Labbe Charles Paperman Wed 18 February 2026
- The Game of Synthesis Nathanael Fijalkow Wed 18 February 2026
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
