| 2024 | A Generic Deskolemization Strategy. Johann Rosain, Richard Bonichon, Julie Cailler, Olivier Hermant |
| 2024 | A Simple Token Game and its Logic. Christian G. Fermüller, Robert Freiman, Timo Lang |
| 2024 | A Tool for Reasoning about Trust and Belief. Aaron Hunter, Alberto Iglesias |
| 2024 | Automated Synthesis of Decision Lists for Polynomial Specifications over Integers. S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi |
| 2024 | Automated Theorem Provers Help Improve Large Language Model Reasoning. Lachlan McGinness, Peter Baumgartner |
| 2024 | Automatic Bit- and Memory-Precise Verification of eBPF Code. Martin Bromberger, Simon Schwarz, Christoph Weidenbach |
| 2024 | Automatic Detection of Vulnerable Variables for CTL Properties of Programs. Naïm Moussaoui Remil, Caterina Urban, Antoine Miné |
| 2024 | Certifying Incremental SAT Solving. Katalin Fazekas, Florian Pollitt, Mathias Fleury, Armin Biere |
| 2024 | Combining Combination Properties: Minimal Models. Guilherme Vicentin de Toledo, Yoni Zohar |
| 2024 | Confluence for Proof-Nets via Parallel Cut Elimination. Giulio Guerrieri, Giulia Manara, Lorenzo Tortora de Falco, Lionel Vaux Auclair |
| 2024 | Deep Inference in Proof Search: The Need for Shallow Inference. Ozan Kahramanogullari |
| 2024 | Efficient Simulation for Hardware Model Checking. Joseph Tafese, Arie Gurfinkel |
| 2024 | Experiments with Choice in Dependently-Typed Higher-Order Logic. Daniel Ranalter, Chad E. Brown, Cezary Kaliszyk |
| 2024 | First Experiments with Neural cvc5. Jelle Piepenbrock, Mikolas Janota, Josef Urban, Jan Jakubuv |
| 2024 | Fuzzy Datalog∃ over Arbitrary t-Norms. Matthias Lanzinger, Stefano Sferrazza, Przemyslaw Andrzej Walega, Georg Gottlob |
| 2024 | Herbrand's Theorem in Inductive Proofs. Alexander Leitsch, Anela Lolic |
| 2024 | Hybrid Intersection Types for PCF. Pablo Barenbaum, Delia Kesner, Mariana Milicich |
| 2024 | LPAR 2024: Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, Port Louis, Mauritius, May 26-31, 2024 Nikolaj S. Bjørner, Marijn Heule, Andrei Voronkov |
| 2024 | Minimizing Sorting Networks at the Sub-Comparator Level. Luís Cruz-Filipe, Peter Schneider-Kamp |
| 2024 | On Translations of Epsilon Proofs to LK. Matthias Baaz, Anela Lolic |
| 2024 | Prover9 Unleashed: Automated Configuration for Enhanced Proof Discovery. Kristina Aleksandrova, Jan Jakubuv, Cezary Kaliszyk |
| 2024 | Reasoning About Group Polarization: From Semantic Games to Sequent Systems. Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller |
| 2024 | Rewriting and Inductive Reasoning. Márton Hajdú, Laura Kovács, Michael Rawson |
| 2024 | Saturating Sorting without Sorts. Pamina Georgiou, Márton Hajdú, Laura Kovács |
| 2024 | Scaling CheckMate for Game-Theoretic Security. Sophie Rain, Lea Salome Brugger, Anja Petkovic Komel, Laura Kovács, Michael Rawson |
| 2024 | Sometimes Hoarding is Harder than Cleaning: NP-hardness of Maximum Blocked-Clause Addition. Bernardo Subercaseaux |
| 2024 | Symbolic Realisation of Epistemic Processes. Rolf Hennicker, Alexander Knapp, Martin Wirsing |
| 2024 | Translating HOL-Light proofs to Coq. Frédéric Blanqui |
| 2024 | Tree-Verifiable Graph Grammars. Mark Chimes, Radu Iosif, Florian Zuleger |
| 2024 | VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic. Johannes Schoisswohl, Laura Kovács, Konstantin Korovin |
| 2024 | Verifying SQL queries using theories of tables and relations. Mudathir Mohamed, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett |
| 2024 | Waste Reduction: Experiments in Sharing Clauses between Runs of a Portfolio of Strategies (Experimental Paper). Tanel Tammet |