- Mnacho Echenim, Mehdi Mhalla. A Formalization of the CHSH Inequality and Tsirelson's Upper-bound in Isabelle/HOL. Journal of Automated Reasoning, 68(1):2, March 2024.
- David Braun, Nicolas Magaud, Pascal Schreck. A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry. Journal of Automated Reasoning, 68(1):3, March 2024.
- Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato. SAT Meets Tableaux for Linear Temporal Logic Satisfiability. Journal of Automated Reasoning, 68(2):6, June 2024.
- Benjamin Böhm 0001, Tomás Peitl, Olaf Beyersdorff. Should Decisions in QCDCL Follow Prefix Order?. Journal of Automated Reasoning, 68(1):5, March 2024.
- Florian Faissole. Formally-Verified Round-Off Error Analysis of Runge-Kutta Methods. Journal of Automated Reasoning, 68(1):1, March 2024.
- Dominic Steinhöfel, Reiner Hähnle. Schematic Program Proofs with Abstract Execution. Journal of Automated Reasoning, 68(2):7, June 2024.
- Étienne Payet. Non-termination in Term Rewriting and Logic Programming. Journal of Automated Reasoning, 68(1):4, March 2024.
- Michael Bernreiter, Anela Lolic, Jan Maly 0001, Stefan Woltran. Sequent Calculi for Choice Logics. Journal of Automated Reasoning, 68(2):8, June 2024.
- Emre Yolcu, Scott Aaronson, Marijn J. H. Heule. An Automated Approach to the Collatz Conjecture. Journal of Automated Reasoning, 67(2):15, June 2023.
- Aaron Windsor. Computer-Aided Constructions of Commafree Codes. Journal of Automated Reasoning, 67(1):12, March 2023.