- On the complexity of logics over the integers Dmitry Chistikov Wed 25 March 2020
- Learning to Prove Theorems via Interacting with Proof Assistants Kaiyu Yang Jia Deng Tue 24 March 2020
- jsCoq: Towards Hybrid Theorem Proving Interfaces Emilio Jesús Gallego Arias Benoît Pin Pierre Jouvelot Tue 24 March 2020
- Automata Minimization: a Functorial Approach Thomas Colcombet Daniela Petrişan Mon 23 March 2020
- Automated Formal Synthesis of Lyapunov Neural Networks Alessandro Abate Daniele Ahmed Mirco Giacobbe Andrea Peruffo Sat 21 March 2020
- The Strahler number of a parity game Laure Daviaud Marcin Jurdziński K. S. Thejaswini Sat 21 March 2020
- QED at Large: A Survey of Engineering of Formally Verified Software Talia Ringer Karl Palmskog Ilya Sergey Milos Gligoric Zachary Tatlock Sat 21 March 2020
- Equivalence of Linear Tree Transducers with Output in the Free Group Raphaela Løbel Michael Luttenberger Helmut Seidl Sat 21 March 2020
- A general reinforcement learning algorithm that masters chess, shogi, and Go through self-play David Silver Thomas Hubert Julian Schrittwieser Ioannis Antonoglou Matthew Lai Arthur Guez Marc Lanctot Laurent Sifre Dharshan Kumaran Thore Graepel Timothy Lillicrap Karen Simonyan Demis Hassabis Sat 21 March 2020
- Chess, a Drosophila of reasoning Garry Kasparov Sat 21 March 2020
- How Fast Can You Escape a Compact Polytope Julian D'Costa Engel Lefaucheux Joel Ouaknine James Worrell Thu 19 March 2020
- Separation Logic Peter O'Hearn Wed 18 March 2020
- Minimal Coverability Tree Construction Made Complete and Efficient Alain Finkel Serge Haddad Igor Khmelnitsky Mon 16 March 2020
- Kønig's Lemma and Kleene Tree Andrej Bauer Mon 16 March 2020
- Containment of Simple Regular Path Queries Diego Figueira Adwait Godbole S. Krishna Wim Martens Matthias Niewerth Tina Trautner Sun 15 March 2020
- A Lindstrøm theorem for intuitionistic propositional logic Guillermo Badia Grigory Olkhovikov Sun 15 March 2020
- Proof of the Independence of the Primitive Symbols of Heyting's Calculus of Propositions J. C. C. McKinsey Sun 15 March 2020
- Independence of Intuitionistic Propositional Connectives in Coq Hai Dang Sun 15 March 2020
- Semantical Analysis of Intuitionistic Logic I Saul A. Kripke Sat 14 March 2020
- Scheme: A Interpreter for Extended Lambda Calculus Gerald Jay Sussman Guy L. Steele Sat 14 March 2020
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
