- 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.
- Andrei Popescu 0001. Rensets and Renaming-Based Recursion for Syntax with Bindings Extended Version. Journal of Automated Reasoning, 67(3):23, September 2023.
- Chelsea Edmonds, Angeliki Koutsoukou Argyraki, Lawrence C. Paulson. Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL. Journal of Automated Reasoning, 67(1):2, 2023.
- Qinshi Wang, Andrew W. Appel. A Solver for Arrays with Concatenation. Journal of Automated Reasoning, 67(1):4, 2023.
- Andrew W. Appel, Xavier Leroy. Efficient Extensional Binary Tries. Journal of Automated Reasoning, 67(1):8, March 2023.
- Mak Andrlon. Finding Normal Binary Floating-Point Factors Efficiently. Journal of Automated Reasoning, 67(1):11, March 2023.
- Maria Paola Bonacina, Sarah Winkler. Semantically-Guided Goal-Sensitive Reasoning: Decision Procedures and the Koala Prover. Journal of Automated Reasoning, 67(1):6, March 2023.
- Maximiliano Cristiá, Guido De Luca, Carlos Luna 0001. An Automatically Verified Prototype of the Android Permissions System. Journal of Automated Reasoning, 67(2):17, June 2023.