| 2023 | A Fast and Accurate ASP Counting Based Network Reliability Estimator. Mohimenul Kabir, Kuldeep S. Meel |
| 2023 | A Mathematical Benchmark for Inductive Theorem Provers. Thibault Gauthier, Chad E. Brown, Mikolas Janota, Josef Urban |
| 2023 | An Interactive SMT Tactic in Coq using Abductive Reasoning. Haniel Barbosa, Chantal Keller, Andrew Reynolds, Arjun Viswanathan, Cesare Tinelli, Clark W. Barrett |
| 2023 | An excursion to the border of decidability: between two- and three-variable logic. Oskar Fiuk, Emanuel Kieronski |
| 2023 | Analyzing Multiple Conflicts in SAT: An Experimental Evaluation. Albert Oliveras, Enric Rodríguez-Carbonell, Rui Zhao |
| 2023 | Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties. Jan Tusil, Traian Serbanuta, Jan Obdrzálek |
| 2023 | Collaborative Inference of Combined Invariants. Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich |
| 2023 | Counterfactuals Modulo Temporal Logics. Bernd Finkbeiner, Julian Siber |
| 2023 | Embedding Intuitionistic into Classical Logic. Alexander Pluska, Florian Zuleger |
| 2023 | Experiments on Infinite Model Finding in SMT Solving. Julian Parsert, Chad E. Brown, Mikolas Janota, Cezary Kaliszyk |
| 2023 | Exploring Partial Models with SCL. Martin Bromberger, Simon Schwarz, Christoph Weidenbach |
| 2023 | Formalization of Algebraic Theorems in PVS (Invited Talk). Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Andréia B. Avelar, André Luiz Galdino |
| 2023 | Guiding an Instantiation Prover with Graph Neural Networks. Karel Chvalovský, Konstantin Korovin, Jelle Piepenbrock, Josef Urban |
| 2023 | How Much Should This Symbol Weigh? A GNN-Advised Clause Selection. Filip Bártek, Martin Suda |
| 2023 | Keep me out of the loop: a more flexible choreographic projection. Luís Cruz-Filipe, Fabrizio Montesi, Robert R. Rasmussen |
| 2023 | LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023. Ruzica Piskac, Andrei Voronkov |
| 2023 | Logic of Differentiable Logics: Towards a Uniform Semantics of DL. Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark |
| 2023 | Model Checking Omega-Regular Hyperproperties with AutoHyperQ. Raven Beutner, Bernd Finkbeiner |
| 2023 | On the Complexity of Convex and Reverse Convex Prequadratic Constraints. Rodrigo Raya, Jad Hamza, Viktor Kuncak |
| 2023 | Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification. Petra Hozzová, Jaroslav Bendík, Alexander Nutz, Yoav Rodeh |
| 2023 | Refining Unification with Abstraction. Ahmed Bhayat, Konstantin Korovin, Laura Kovács, Johannes Schoisswohl |
| 2023 | Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic. Alexander Steen, Geoff Sutcliffe, Pascal Fontaine, Jack McKeown |
| 2023 | SMT Solving over Finite Field Arithmetic. Thomas Hader, Daniela Kaufmann, Laura Kovács |
| 2023 | Scalable Probabilistic Routes. Suwei Yang, Victor C. Liang, Kuldeep S. Meel |
| 2023 | Syntactic computation of Fagin-Halpern conditioning in possibility theory. Omar Ettarguy, Ahlame Begdouri, Salem Benferhat, Carole Delenne |
| 2023 | Tighter Abstract Queries in Neural Network Verification. Elazar Cohen, Yizhak Yisrael Elboher, Clark W. Barrett, Guy Katz |
| 2023 | Toward Optimal Radio Colorings of Hypercubes via SAT-solving. Bernardo Subercaseaux, Marijn Heule |
| 2023 | Trace-based Deductive Verification. Richard Bubel, Dilian Gurov, Reiner Hähnle, Marco Scaletta |