- 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.
- 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.
- Étienne Payet. Non-termination in Term Rewriting and Logic Programming. Journal of Automated Reasoning, 68(1):4, March 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.
- Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic. Superposition for Higher-Order Logic. Journal of Automated Reasoning, 67(1):10, March 2023.
- Ying Sheng 0007, Yoni Zohar, Christophe Ringeissen, Andrew Reynolds 0001, Clark W. Barrett, Cesare Tinelli. Combining Stable Infiniteness and (Strong) Politeness. Journal of Automated Reasoning, 67(4):34, December 2023.
- Andrei Popescu 0001. Rensets and Renaming-Based Recursion for Syntax with Bindings Extended Version. Journal of Automated Reasoning, 67(3):23, September 2023.