| 2024 | A System for Evaluating the Admissibility of Rules for Intuitionistic Propositional Logic. | Alexander V. Gheorghiu |
| 2024 | Saturating Sorting without Sorts. | Pamina Georgiou, Mrton Hajd, Laura Kovcs |
| 2024 | Reasoning About Group Polarization: From Semantic Games to Sequent Systems. | Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G. Fermller |
| 2024 | Automated Reasoning with Tangles: towards Quantum Verification Applications. | Andrew Fish, Alexei Lisitsa |
| 2024 | A Simple Token Game and its Logic. | Christian G. Fermller, Robert Freiman, Timo Lang |
| 2024 | Certifying Incremental SAT Solving. | Katalin Fazekas, Florian Pollitt, Mathias Fleury, Armin Biere |
| 2024 | Certification of Tail Recursive Bubble-Sort in Theorema and Coq. | Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat |
| 2024 | Alternate Semantics of the Guarded Conditional. | Nachum Dershowitz |
| 2024 | Minimizing Sorting Networks at the Sub-Comparator Level. | Lus Cruz-Filipe, Peter Schneider-Kamp |
| 2024 | Tree-Verifiable Graph Grammars. | Mark Chimes, Radu Iosif, Florian Zuleger |
| 2024 | Automatic Bit- and Memory-Precise Verification of eBPF Code. | Martin Bromberger, Simon Schwarz, Christoph Weidenbach |
| 2024 | Translating HOL-Light proofs to Coq. | Frdric Blanqui |
| 2024 | Hybrid Intersection Types for PCF. | Pablo Barenbaum, Delia Kesner, Mariana Milicich |
| 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 | A Tool for Reasoning about Trust and Belief. | Aaron Hunter, Alberto Iglesias |
| 2024 | Efficient and Verified Continuous Double Auctions. | Mohit Garg, Suneel Sarswat |
| 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 | Towards computer-assisted proofs of parametric Andrews-Curtis simplifications, II. | Alexei Lisitsa |
| 2023 | Scalable Probabilistic Routes. | Suwei Yang, Victor C. Liang, Kuldeep S. Meel |
| 2023 | Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties. | Jan Tusil, Traian Serbanuta, Jan Obdrzlek |
| 2023 | Toward Optimal Radio Colorings of Hypercubes via SAT-solving. | Bernardo Subercaseaux, Marijn Heule |
| 2023 | Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic. | Alexander Steen, Geoff Sutcliffe, Pascal Fontaine, Jack McKeown |
| 2023 | Logic of Differentiable Logics: Towards a Uniform Semantics of DL. | Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark |
| 2023 | On the Complexity of Convex and Reverse Convex Prequadratic Constraints. | Rodrigo Raya, Jad Hamza, Viktor Kuncak |