- Learning Task Automata for Reinforcement Learning using Hidden Markov Models Alessandro Abate Yousif Almulla James Fox David Hyland Michael Wooldridge Fri 14 November 2025
- A Compositional Atlas for Algebraic Circuits Benjie Wang Denis Deratani Mauá Guy Van den Broeck YooJung Choi Mon 03 March 2025
- Logic.py: Bridging the Gap between LLMs and Constraint Solvers Pascal Kesseli Peter O'Hearn Ricardo Silveira Cabral Mon 03 March 2025
- STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving Kefan Dong Tengyu Ma Sat 08 February 2025
- Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives Marius Belly Nathanael Fijalkow Hugo Gimbert Florian Horn Guillermo A. Pérez Pierre Vandenhove Mon 06 January 2025
- Expectation vs. Reality: Towards Verification of Psychological Games Marta Kwiatkowska Gethin Norman David Parker Gabriel Santos Mon 25 November 2024
- Learning of Structurally Unambiguous Probabilistic Grammars Dana Fisman Dolav Nitay Michal Ziv-Ukelson Sat 31 August 2024
- Bridging Weighted First Order Model Counting and Graph Polynomials Qipeng Kuang Ondřej Kużelka Yuanhong Wang Yuyi Wang Wed 24 July 2024
- Provably Safe Neural Network Controllers via Differential Dynamic Logic Samuel Teuber Stefan Mitsch André Platzer Sun 23 June 2024
- Lifted Inference beyond First-Order Logic Sagar Malhotra Davide Bizzaro Luciano Serafini Tue 02 April 2024
- Learning Algorithms for Verification of Markov Decision Processes Tomáš Brázdil Krishnendu Chatterjee Martin Chmelik Vojtěch Forejt Jan Křetínský Marta Kwiatkowska Tobias Meggendorfer David Parker Mateusz Ujma Tue 02 April 2024
- Are Targeted Messages More Effective Martin Grohe Eran Rosenbluth Sun 24 March 2024
- Darwin Turing Dawkins: Building a General Theory of Evolution Leonard M. Adleman Thu 29 February 2024
- Lecture Notes on Partially Known MDPs Guillermo A. Perez Sat 25 November 2023
- The Logic of Graph Neural Networks Martin Grohe Sun 05 November 2023
- Reasoning about Intuitionistic Computation Tree Logic Davide Catta Vadim Malvone Aniello Murano Sat 07 October 2023
- A first-order logic characterization of safety and co-safety languages Alessandro Cimatti Luca Geatti Nicola Gigante Angelo Montanari Stefano Tonetta Fri 14 July 2023
- Weighted Model Counting in the two variable fragment with Cardinality Constraints: A Closed Form Formula Sagar Malhotra Luciano Serafini Thu 06 July 2023
- Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula Sagar Malhotra Luciano Serafini Thu 06 July 2023
- Weighted First Order Model Counting with Directed Acyclic Graph Axioms Sagar Malhotra Luciano Serafini Thu 06 July 2023
- Symmetric Weighted First-Order Model Counting Paul Beame Guy Van den Broeck Eric Gribkoff Dan Suciu Thu 06 July 2023
- Logic for Explainable AI Adnan Darwiche Fri 12 May 2023
- Differentiable Inductive Logic Programming in High-Dimensional Space Stanisław J. Purgał David M. Cerna Cezary Kaliszyk Thu 11 May 2023
- On Exact Sampling in the Two-Variable Fragment of First-Order Logic Yuanhong Wang Juhua Pu Yuyi Wang Ondřej Kużelka Fri 28 April 2023
- Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives Jan Křetínský Tobias Meggendorfer Maximilian Weininger Fri 28 April 2023
- The Krohn-Rhodes Logics Alessandro Ronca Fri 28 April 2023
- PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse Diego Figueira Santiago Figueira Edwin Pin Fri 28 April 2023
- Scaling Neural Program Synthesis with Distribution-based Search Nathanael Fijalkow Guillaume Lagarde Théo Matricon Kevin Ellis Pierre Ohlmann Akarsh Potta Thu 30 March 2023
- Heckerthoughts David Heckerman Mon 20 February 2023
- Alien Coding Thibault Gauthier Miroslav Olšák Josef Urban Tue 07 February 2023
- A Simple, Yet Effective Approach to Finding Biases in Code Generation Spyridon Mouselinos Mateusz Malinowski Henryk Michalewski Fri 04 November 2022
- Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs Richard Mayr Eric Munday Sat 29 October 2022
- Alternating Good-for-MDP Automata Ernst Moritz Hahn Mateo Perez Sven Schewe Fabio Somenzi Ashutosh Trivedi Dominik Wojtczak Fri 28 October 2022
- Learning of Structurally Unambiguous Probabilistic Grammars Dana Fisman Dolav Nitay Michal Ziv-Ukelson Fri 16 September 2022
- Synthesis of Parametric Hybrid Automata from Time Series Miriam García Soto Thomas A. Henzinger Christian Schilling Mon 29 August 2022
- On the Complexity of Rational Verification Julian Gutierrez Muhammad Najib Giuseppe Perelli Michael Wooldridge Sat 16 July 2022
- Learning Higher-Order Programs without Meta-Interpretive Learning Stanisław J. Purgał David M. Cerna Cezary Kaliszyk Wed 27 April 2022
- Rational Verification for Probabilistic Systems Julian Gutierrez Lewis Hammond Anthony Lin Muhammad Najib Michael Wooldridge Tue 27 July 2021
- A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis Preey Shah Aman Bansal S. Akshay Supratik Chakraborty Fri 30 April 2021
- On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles Thomas Gogacz Víctor Gutiérrez-Basulto Yazmín Ibáñez-García Jean Christoph Jung Filip Murlak Sun 25 October 2020
- Generative Language Modeling for Automated Theorem Proving Stanislas Polu Ilya Sutskever Sun 20 September 2020
- Logical Separability of Incomplete Data under Ontologies Jean Christoph Jung Carsten Lutz Hadrien Pulcini Frank Wolter Mon 06 July 2020
- MathZero, The Classification Problem, and Set-Theoretic Type Theory David McAllester Wed 13 May 2020
- Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes Raphael Berthon Shibashis Guha Jean-François Raskin Thu 30 April 2020
- Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic Thibault Gauthier Tue 28 April 2020
- The Imandra Automated Reasoning System (system description) Grant Olney Passmore Simon Cruanes Denis Ignatovich Dave Aitken Matt Bray Elijah Kagan Kostya Kanishev Ewen Maclean Nicola Mometto Sat 25 April 2020
- Containment of Simple Regular Path Queries Diego Figueira Adwait Godbole S. Krishna Wim Martens Matthias Niewerth Tina Trautner Sun 15 March 2020
- Hyperbolic Minesweeper is in P Eryk Kopczyński Tue 03 March 2020
- Learning Non-Markovian Reward Models in MDPs Gavin Rens Jean-François Raskin Fri 14 February 2020
- A Survey on String Constraint Solving Roberto Amadini Thu 13 February 2020
- Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm 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 Sun 19 January 2020
- Life is Random, Time is Not: Markov Decision Processes with Window Objectives Thomas Brihaye Florent Delgrange Youssouf Oualhadj Mickael Randour Thu 12 December 2019
- PIE -- Proving, Interpolating and Eliminating on the Basis of First-Order Logic Christoph Wernhard Fri 30 August 2019
- On the Relative Succinctness of Sentential Decision Diagrams Beate Bollig Matthias Buttkus Sat 13 July 2019
- Computer Science and Metaphysics: A Cross-Fertilization Daniel Kirchner Christoph Benzmuller Edward N. Zalta Fri 28 June 2019
- Towards Finding Longer Proofs Zsolt Zombori Adrián Csiszárik Henryk Michalewski Cezary Kaliszyk Josef Urban Fri 31 May 2019
- Thinking Fast and Slow with Deep Learning and Tree Search T. Anthony Z. Tian D. Barber Fri 19 October 2018
Library Size: 13G (57 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
