- Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics Giorgi Japaridze Tue 31 March 2026
- Intrinsically Correct Algorithms and Recursive Coalgebras Cass Alexandru Henning Urbat Thorsten Wißmann Tue 31 March 2026
- A formalization of System I with type Top in Agda Agustín Séttimo Cristian Sottile Cecilia Manzino Tue 31 March 2026
- Higher-Order Bialgebraic Semantics Sergey Goncharov Stefan Milius Lutz Schrøder Stelios Tsampas Henning Urbat Tue 31 March 2026
- 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
- Nominal techniques as an Agda library Murdoch J. Gabbay Orestis Melkonian Sat 07 March 2026
- Principal Typing for Intersection Types, Forty-Five Years Later Daniele Pautasso Simona Ronchi Della Rocca Sat 07 March 2026
- Sensible Intersection Type Theories Mariangiola Dezani-Ciancaglini Besik Dundua Paola Giannini Furio Honsell Sat 07 March 2026
- Logics and Type Theory: essays dedicated to Stefano Berardi on the occasion of his 1000000th birthday Thorsten Altenkirch Franco Barbanera Ferruccio Damiani Ugo de'Liguoro Thu 05 March 2026
- Length Generalization Bounds for Transformers Andy Yang Pascal Bergstraßer Georg Zetzsche David Chiang Anthony W. Lin Thu 05 March 2026
- Positivity of Nearly Linearly Recurrent Sequences Amaury Pouly Mahsa Shirmohammadi James Worrell Wed 04 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
- Complete Robust Hybrid Systems Reachability Noah Abou El Wafa André Platzer Sat 28 February 2026
- Expregular functions Thomas Colcombet Nathan Lhote Pierre Ohlmann Thu 26 February 2026
- noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning Tobias Gurtler Benjamin Lucien Kaminski Wed 25 February 2026
- String Diagrams for Monoidal Categories, in Rocq Damien Pous Wed 25 February 2026
- Layered Monoidal Theories I: Diagrammatic Algebra and Applications Leo Lobski Fabio Zanasi Wed 25 February 2026
- 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
- 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
- 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
- A Complete Equational Theory for Real-Clifford+CH Quantum Circuits Alexandre Clément Thu 12 February 2026
- A Theory for Probabilistic Polynomial-Time Reasoning Lijie Chen Jiatu Li Igor C. Oliveira Ryan Williams Thu 12 February 2026
- On the Reachability Problem for One-Dimensional Thin Grammar Vector Addition Systems Chengfeng Xue Yuxi Fu Sat 07 February 2026
- CSLib: The Lean Computer Science Library Clark Barrett Swarat Chaudhuri Fabrizio Montesi Jim Grundy Pushmeet Kohli Leonardo de Moura Alexandre Rademaker Sorrachai Yingchareonthawornchai Thu 05 February 2026
- Mechanized Undecidability of Higher-order beta-Matching (Extended Version) Andrej Dudenhefner Thu 05 February 2026
- Making progress: Reducibility Candidates and Cut Elimination in the Ill-founded Realm Gianluca Curzi Graham E. Leigh Thu 05 February 2026
- LeanArchitect: Automating Blueprint Generation for Humans and AI Thomas Zhu Pietro Monticone Jeremy Avigad Sean Welleck Tue 03 February 2026
- Constraint Satisfaction Problems over Finitely Bounded Homogeneous Structures: a Dichotomy between FO and L-hard Leonid Dorochko Michał Wrona Tue 03 February 2026
- The complexity of downward closures of indexed languages Richard Mandel Corto Mascle Georg Zetzsche Sun 01 February 2026
- A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes Florian Bruse Martin Lange Sun 01 February 2026
- The Latent Space of Equational Theories Luis Berlioz Paul-André Melliès Sun 01 February 2026
- A Program Logic for Abstract (Hyper)Properties Paolo Baldan Roberto Bruni Francesco Ranzato Diletta Rigo Sun 01 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 Leibniz adjunction in homotopy type theory, with an application to simplicial type theory Tom de Jong Nicolai Kraus Axel Ljungstrøm Sun 01 February 2026
- The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic Jean Christoph Jung Jędrzej Kołodziejski Sun 01 February 2026
- Variants of Higher-Dimensional Automata Hugo Bazille Jérémy Dubut Uli Fahrenberg Krzysztof Ziemiański Tue 27 January 2026
- Algebraic Characterizations of Classes of Regular Languages in DynFO Corentin Barloy Felix Tschirbs Nils Vortmeier Thomas Zeume Tue 27 January 2026
- Well-quasi-ordered classes of bounded clique-width Mael Dumas Aliaume Lopez Tue 27 January 2026
- On the Subspace Orbit Problem and the Simultaneous Skolem Problem Piotr Bacik Anton Varonka Tue 27 January 2026
- Termination Analysis of Linear-Constraint Programs Amir M. Ben-Amram Samir Genaim Joel Ouaknine James Worrell Tue 27 January 2026
- Characterizations of monadically dependent tree-ordered weakly sparse structures Hector Buffière Yuquan Lin Jaroslav Nešetřil Patrice Ossona de Mendez Sebastian Siebertz Sat 24 January 2026
- Existential Positive Transductions of Sparse Graphs Nikolas Mahlmann Sebastian Siebertz Sat 24 January 2026
- Quantum Coherence Spaces Revisited: A von Neumann (Co)Algebraic Approach Thea Li Vladimir Zamdzhiev Sat 24 January 2026
- Problems with fixpoints of polynomials of polynomials Cécilia Pradic Ian Price Sat 24 January 2026
- Layered automata: A canonical model for automata over infinite words Antonio Casares Christof Løding Igor Walukiewicz Sat 24 January 2026
- Efficient reversal of transductions of sparse graph classes Jan Dreier Jakub Gajarský Michał Pilipczuk Sat 24 January 2026
- A Myhill-Nerode Characterization and Active Learning for One-Clock Timed Automata Kyveli Doveri Pierre Ganty B. Srivathsan Sat 24 January 2026
- Hard Clique Formulas for Resolution Albert Atserias Thu 22 January 2026
- Sequencelib: A Computational Platform for Formalizing the OEIS in Lean Walter Moreira Joe Stubbs Thu 22 January 2026
- Robust Verification of Concurrent Stochastic Games Angel Y. He David Parker Thu 22 January 2026
- Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward Løwenheim-Skolem Theorem Dominik Kirst Haoyi Zeng Thu 22 January 2026
- An Introduction to Razborov's Flag Algebra as a Proof System for Extremal Graph Theory Gyeongwon Jeong Seonghun Park Hongseok Yang Thu 22 January 2026
- Formalization of Amicable Numbers Theory Zhipeng Chen Haolun Tang Jingyi Zhan Sun 18 January 2026
- The Complexity of Games with Randomised Control Sarvin Bahmani Rasmus Ibsen-Jensen Soumyajit Paul Sven Schewe Friedrich Slivovsky Qiyi Tang Dominik Wojtczak Shufang Zhu Sun 18 January 2026
- On Coalgebraic Product Constructions for Markov Chains and Automata Mayuko Kori Kazuki Watanabe Thu 15 January 2026
- Generalised Quantifiers Based on Rabin-Mostowski Index Denis Kuperberg Damian Niwiński Paweł Parys Michał Skrzypczak Mon 12 January 2026
- 130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone Josef Urban Thu 08 January 2026
- Parameterized Verification of Quantum Circuits (Technical Report) Parosh Aziz Abdulla Yu-Fang Chen Michal Hečko Lukáš Holík Ondřej Lengál Jyun-Ao Lin Ramanathan S. Thinniyam Mon 05 January 2026
- The Groupoid-syntax of Type Theory is a Set Thorsten Altenkirch Ambrus Kaposi Szumi Xie Wed 10 December 2025
- General Decidability Results for Systems with Continuous Counters A.~R. Balasubramanian Matthew Hague Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche Thu 27 November 2025
- The Role of Logic and Automata in Understanding Transformers Anthony W. Lin Pablo Barcelo Wed 26 November 2025
- Algebraic Closure of Matrix Sets Recognized by 1-VASS Rida Ait El Manssour Mahsa Naraghi Mahsa Shirmohammadi James Worrell Wed 26 November 2025
- The Functional Machine Calculus III: Control Willem Heijltjes Fri 31 October 2025
- Simple Classes of Automatic Structures Achim Blumensath Thu 30 October 2025
- On the Reachability Problem for Two-Dimensional Branching VASS Clotilde Bizière Thibault Hilaire Jérôme Leroux Grégoire Sutre Sat 05 July 2025
- Comodule Representations of Second-Order Functionals Danel Ahman Andrej Bauer Fri 25 April 2025
- Coinductive Streams in Monoidal Categories Elena Di Lavore Giovanni de Felice Mario Román Fri 25 April 2025
- The Model Counting Competitions 2021-2023 Johannes K. Fichte Markus Hecher Fri 25 April 2025
- On the p-adic Skolem Problem Piotr Bacik Joel Ouaknine David Purser James Worrell Fri 25 April 2025
- Convergence Laws for Extensions of First-Order Logic with Averaging Sam Adam-Day Michael Benedikt Alberto Larrauri Fri 25 April 2025
- Reachability in Geometrically d-Dimensional VASS Yuxi Fu Yangluo Zheng Qizhe Yang Fri 25 April 2025
- Programs as Singularities Daniel Murfet Will Troiani Thu 24 April 2025
- Complete First-Order Game Logic Noah Abou El Wafa André Platzer Fri 11 April 2025
- Separating domains from algebraic domains Xiaodong Jia Qingguo Li Wei Luan Fri 11 April 2025
- PVASS Reachability is Decidable Roland Guttenberg Eren Keskin Roland Meyer Thu 10 April 2025
- Logical perspectives on learning statistical objects Aaron Anderson Michael Benedikt Sat 05 April 2025
- Determinization of Min-Plus Weighted Automata is Decidable Shaull Almagor Guy Arbel Sarai Sheinvald Sat 05 April 2025
- The Size-Change Principle for Mixed Inductive and Coinductive types Pierre Hyvernat Sat 05 April 2025
- Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems Senthil Rajasekaran Moshe Y. Vardi Sat 05 April 2025
- A Formally Verified Lightning Network Grzegorz Fabiański Rafał Stefański Orfeas Stefanos Thyfronitis Litos Sat 05 April 2025
- Algorithmic analysis of systems with affine input and polynomial state Lorenzo Clemente Thu 03 April 2025
- A Robust Theory of Series Parallel Graphs Rajeev Alur Caleb Stanford Christopher Watson Sun 29 September 2024
Library Size: 13G (89 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
