| 2024 | A Case for Extensional Non-Wellfounded Metamodeling. | Joseph Zalewski, Pascal Hitzler |
| 2024 | On Symbolic Derivatives and Transition Regexes. | Margus Veanes |
| 2024 | Combining Combination Properties: Minimal Models. | Guilherme Vicentin de Toledo, Yoni Zohar |
| 2024 | Waste Reduction: Experiments in Sharing Clauses between Runs of a Portfolio of Strategies (Experimental Paper). | Tanel Tammet |
| 2024 | Efficient Simulation for Hardware Model Checking. | Joseph Tafese, Arie Gurfinkel |
| 2024 | Sometimes Hoarding is Harder than Cleaning: NP-hardness of Maximum Blocked-Clause Addition. | Bernardo Subercaseaux |
| 2024 | VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic. | Johannes Schoisswohl, Laura Kovcs, Konstantin Korovin |
| 2024 | A Generic Deskolemization Strategy. | Johann Rosain, Richard Bonichon, Julie Cailler, Olivier Hermant |
| 2024 | Automatic Detection of Vulnerable Variables for CTL Properties of Programs. | Nam Moussaoui Remil, Caterina Urban, Antoine Min |
| 2024 | Experiments with Choice in Dependently-Typed Higher-Order Logic. | Daniel Ranalter, Chad E. Brown, Cezary Kaliszyk |
| 2024 | Scaling CheckMate for Game-Theoretic Security. | Sophie Rain, Lea Salome Brugger, Anja Petkovic Komel, Laura Kovcs, Michael Rawson |
| 2024 | First Experiments with Neural cvc5. | Jelle Piepenbrock, Mikolas Janota, Josef Urban, Jan Jakubuv |
| 2024 | Verifying SQL queries using theories of tables and relations. | Mudathir Mohamed, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett |
| 2024 | Automated Theorem Proving for Prolog Verification. | Fred Mesnard, Thierry Marianne, tienne Payet |
| 2024 | Automated Theorem Provers Help Improve Large Language Model Reasoning. | Lachlan McGinness, Peter Baumgartner |
| 2024 | On Proof Schemata and Primitive Recursive Arithmetic. | Alexander Leitsch, Anela Lolic, Stella Mahler |
| 2024 | Herbrand's Theorem in Inductive Proofs. | Alexander Leitsch, Anela Lolic |
| 2024 | Fuzzy Datalog∃ over Arbitrary t-Norms. | Matthias Lanzinger, Stefano Sferrazza, Przemyslaw Andrzej Walega, Georg Gottlob |
| 2024 | Deep Inference in Proof Search: The Need for Shallow Inference. | Ozan Kahramanogullari |
| 2024 | A Natural-style Prover in Theorema Using Sequent Calculus with Unit Propagation. | Tudor Jebelean |
| 2024 | Numeric Base Conversion with Rewriting. | Olivier Hermant, Wojciech Loboda |
| 2024 | Symbolic Realisation of Epistemic Processes. | Rolf Hennicker, Alexander Knapp, Martin Wirsing |
| 2024 | On SMT Theory Design: The Case of Sequences. | Hichem Rami Ait El Hara, Franois Bobot, Guillaume Bury |
| 2024 | Rewriting and Inductive Reasoning. | Mrton Hajd, Laura Kovcs, Michael Rawson |
| 2024 | Confluence for Proof-Nets via Parallel Cut Elimination. | Giulio Guerrieri, Giulia Manara, Lorenzo Tortora de Falco, Lionel Vaux Auclair |