- 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
- Homophonic Quotients of Linguistic Free Groups: German, Korean, and Turkish Herbert Gangl Gizem Karaali Woohyung Lee Thu 29 May 2025
- The single-use restriction for register automata and transducers over infinite alphabets Rafał Stefański Mon 15 July 2024
- Bi-reachability in Petri nets with data Łukasz Kamiński Sławomir Lasota Thu 30 May 2024
- Directed Regular and Context-Free Languages Moses Ganardi Irmak Saglam Georg Zetzsche Fri 19 January 2024
- An Analysis of On-the-fly Determinization of Finite-state Automata Ivan Baburin Ryan Cotterell Tue 29 August 2023
- On the Intersection of Context-Free and Regular Languages Clemente Pasti Andreas Opedal Tiago Pimentel Tim Vieira Jason Eisner Ryan Cotterell Wed 24 May 2023
- Shades of Iteration: from Elgot to Kleene Sergey Goncharov Fri 20 January 2023
- Solvability of orbit-finite systems of linear equations Arka Ghosh Piotr Hofman Sławomir Lasota Tue 01 February 2022
- Improved Ackermannian lower bound for the VASS reachability problem Sławomir Lasota Wed 19 May 2021
- Generative Language Modeling for Automated Theorem Proving Stanislas Polu Ilya Sutskever Sun 20 September 2020
- Ambiguity Hierarchy of Regular Infinite Tree Languages Alexander Rabinovich Doron Tiferet Sat 12 September 2020
- Political Advertising Dataset: the use case of the Polish 2020 Presidential Elections Łukasz Augustyniak Krzysztof Rajda Tomasz Kajdanowicz Michał Bernaczyk Mon 22 June 2020
- On the Power of Unambiguity in Buchi Complementation Yong Li Moshe Y. Vardi Lijun Zhang Wed 20 May 2020
- Trakhtenbrot's Theorem in Coq, A Constructive Approach to Finite Model Theory Dominik Kirst Dominique Larchey-Wendling Sun 19 April 2020
- Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar Qingxiang Wang Chad Brown Cezary Kaliszyk Josef Urban Wed 11 December 2019
- On the k-synchronizability for mailbox systems Cinzia Di Giusto Laetitia Laversa Etienne Lozes Thu 05 September 2019
- Computer Science and Metaphysics: A Cross-Fertilization Daniel Kirchner Christoph Benzmuller Edward N. Zalta Fri 28 June 2019
- Action-Sensitive Phonological Dependencies Yiding Hao Dustin Bowers Tue 18 June 2019
Library Size: 13G (21 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
