- Mohammad Abdulaziz, Kurt Mehlhorn. A Formal Correctness Proof of Edmonds' Blossom Shrinking Algorithm. Journal of Automated Reasoning, 70(1):2, June 2026.
- João Cortes, Inês Lynce, Vasco Manquinho. Unsatisfiability-based Algorithms for Multi-Objective Combinatorial Optimization. Journal of Automated Reasoning, 70(1):3, June 2026.
- Xuanxiang Huang, Martin C. Cooper, António Morgado 0001, Jordi Planes, João Marques-Silva 0001. Feature Necessity and Relevancy in Machine Learning Explanations. Journal of Automated Reasoning, 70(1):4, June 2026.
- Branden Fitelson, Nicolas Peltier. Applying Saturation-Based Theorem Proving to Open Problems in Positive Implicational Logic. Journal of Automated Reasoning, 70(1):5, June 2026.
- Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett. Combining Combination Properties, Part I: Nelson-Oppen and Politeness. Journal of Automated Reasoning, 70(1):1, June 2026.
- 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.