- Learning Task Automata for Reinforcement Learning using Hidden Markov Models Alessandro Abate Yousif Almulla James Fox David Hyland Michael Wooldridge Fri 14 November 2025
- The Structural Complexity of Matrix-Vector Multiplication Emile Anand Jan van den Brand Rose McCarty Sun 09 March 2025
- A Compositional Atlas for Algebraic Circuits Benjie Wang Denis Deratani Mauá Guy Van den Broeck YooJung Choi Mon 03 March 2025
- Sink equilibria and the attractors of learning in games Oliver Biggar Christos Papadimitriou Fri 14 February 2025
- STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving Kefan Dong Tengyu Ma Sat 08 February 2025
- Transformers in Uniform TC^0 David Chiang Tue 07 January 2025
- Masked Hard-Attention Transformers Recognize Exactly the Star-Free Languages Andy Yang David Chiang Dana Angluin Sat 02 November 2024
- Transformers as Transducers Lena Strobl Dana Angluin David Chiang Jonathan Rawski Ashish Sabharwal Sat 12 October 2024
- Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination Takamasa Okudono Masaki Waga Taro Sekiyama Ichiro Hasuo Wed 24 July 2024
- Learning Closed Signal Flow Graphs Ekaterina Piotrovskaya Leo Lobski Fabio Zanasi Thu 04 July 2024
- Provably Safe Neural Network Controllers via Differential Dynamic Logic Samuel Teuber Stefan Mitsch André Platzer Sun 23 June 2024
- Are Targeted Messages More Effective Martin Grohe Eran Rosenbluth Sun 24 March 2024
- Theoretical foundations for programmatic reinforcement learning Guruprerana Shabadi Nathanael Fijalkow Théo Matricon Tue 20 February 2024
- WikiCoder: Learning to Write Knowledge-Powered Code Théo Matricon Nathanael Fijalkow Gaetan Margueritte Thu 23 November 2023
- The Logic of Graph Neural Networks Martin Grohe Sun 05 November 2023
- A General Verification Framework for Dynamical and Control Models via Certificate Synthesis Alec Edwards Andrea Peruffo Alessandro Abate Thu 21 September 2023
- Learning a Neuron by a Shallow ReLU Network: Dynamics and Implicit Bias for Correlated Inputs Dmitry Chistikov Matthias Englert Ranko Lazic Thu 15 June 2023
- Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach Fabian Zaiser Andrzej S. Murawski Luke Ong Mon 29 May 2023
- Logic for Explainable AI Adnan Darwiche Fri 12 May 2023
- ømegaPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs Mathieu Huot Alexander K. Lew Vikash K. Mansinghka Sam Staton Fri 28 April 2023
- The Descriptive Complexity of Graph Neural Networks Martin Grohe Fri 28 April 2023
- On algorithmically boosting fixed-point computations Ioannis Avramopoulos Nikolaos Vasiloglou Mon 17 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
- Alien Coding Thibault Gauthier Miroslav Olšák Josef Urban Tue 07 February 2023
- Factor Graph Grammars David Chiang Darcey Riley Fri 27 January 2023
- P(ExpressionGrammar): Probability of deriving an algebraic expression with a probabilistic context-free grammar Urh Primozič Ljupčo Todorovski Matej Petković Mon 05 December 2022
- When are Local Queries Useful for Robust Learning Pascale Gourdeau Varun Kanade Marta Kwiatkowska James Worrell Mon 17 October 2022
- Automata Learning: An Algebraic Approach Henning Urbat Lutz Schrøder Fri 20 May 2022
- A Review of Formal Methods applied to Machine Learning Caterina Urban Antoine Miné Thu 08 April 2021
- An Elo-like System for Massive Multiplayer Competitions Aram Ebtekar Paul Liu Wed 13 January 2021
- Learning of Structurally Unambiguous Probabilistic Grammars Dolav Nitay Dana Fisman Michal Ziv-Ukelson Mon 23 November 2020
- Generative Language Modeling for Automated Theorem Proving Stanislas Polu Ilya Sutskever Sun 20 September 2020
- Smart Choices and the Selection Monad Martin Abadi Gordon Plotkin Tue 21 July 2020
- Active learning of timed automata with unobservable resets Léo Henry Nicolas Markey Thierry Jéron Mon 06 July 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
- Automated Formal Synthesis of Lyapunov Neural Networks Alessandro Abate Daniele Ahmed Mirco Giacobbe Andrea Peruffo Sat 21 March 2020
- FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints Anastasios Kyrillidis Anshumali Shrivastava Moshe Y. Vardi Zhiwei Zhang Tue 03 March 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
- Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar Qingxiang Wang Chad Brown Cezary Kaliszyk Josef Urban Wed 11 December 2019
- A Simple Differentiable Programming Language Martin Abadi Gordon Plotkin Wed 13 November 2019
- Towards Finding Longer Proofs Zsolt Zombori Adrián Csiszárik Henryk Michalewski Cezary Kaliszyk Josef Urban Fri 31 May 2019
- Regular omega-Languages with an Informative Right Congruence Dana Angluin Dana Fisman Sat 15 September 2018
Library Size: 13G (42 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
