- Predrag Janicic. Theorem Proving as Constraint Solving for Coherent Logic with Function Symbols. Journal of Automated Reasoning, 69(4):29, December 2025.
- Dawn Michaelson, Dominik Schreiber 0001, Marijn J. H. Heule, Benjamin Kiesl-Reiter, Michael W. Whalen. Producing Proofs of Unsatisfiability with Distributed Clause-Sharing SAT Solvers. Journal of Automated Reasoning, 69(2):12, June 2025.
- Zoltán Kovács. A simple proof of correctness of folding the regular heptagon. Journal of Automated Reasoning, 69(4):27, December 2025.
- Mohit Garg 0003, N. Raja 0001, Suneel Sarswat, Abhishek Kr Singh. Double Auctions: Formalization and Automated Checkers. Journal of Automated Reasoning, 69(3):17, September 2025.
- Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman. A Proof-Producing Compiler for Blockchain Applications. Journal of Automated Reasoning, 69(2):9, June 2025.
- Christoph Walther. Reasoning About Incompletely Defined Programs. Journal of Automated Reasoning, 69(3):25, September 2025.
- Olaf Beyersdorff, Benjamin Böhm 0001, Meena Mahajan. Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs. Journal of Automated Reasoning, 69(4):30, December 2025.
- Dawit Legesse Tirore, Jesper Bengtson, Marco Carbone. A Sound and Complete Projection for Global Types. Journal of Automated Reasoning, 69(2):14, June 2025.
- Frank S. de Boer, Hans-Dieter A. Hiep. First-order Hybrid Separation Logic. Journal of Automated Reasoning, 69(4):26, December 2025.
- Tobias Fuchs, Jakob Bach, Markus Iser. Active Learning for SAT Solver Benchmarking. Journal of Automated Reasoning, 69(3):16, September 2025.