| 2023 | An Augmented MetiTarski Dataset for Real Quantifier Elimination Using Machine Learning. John Hester, Briland Hitaj, Grant O. Passmore, Sam Owre, Natarajan Shankar, Eric Yeh |
| 2023 | Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation. Jonas Bayer, Alexey Gonus, Christoph Benzmüller, Dana S. Scott |
| 2023 | CoProver: A Recommender System for Proof Construction. Eric Yeh, Briland Hitaj, Sam Owre, Maena Quemener, Natarajan Shankar |
| 2023 | Evasiveness Through Binary Decision Diagrams. Jesús Aransay, Laureano Lambán, Julio Rubio |
| 2023 | Extending Numeric Automation for Number Theory Formalizations in Mizar. Adam Naumowicz |
| 2023 | Extracting Theory Graphs from Aldor Libraries. Florian Rabe, Stephen M. Watt |
| 2023 | Formalization Quality in Isabelle. Fabian Huch, Yiannos Stathopoulos |
| 2023 | Formalizing Free Groups in Isabelle/HOL: The Nielsen-Schreier Theorem and the Conjugacy Problem. Aabid Seeyal Abdul Kharim, T. V. H. Prathamesh, Shweta Rajiv, Rishi Vyas |
| 2023 | Highlighting Named Entities in Input for Auto-formulation of Optimization Problems. Neeraj Gangwar, Nickvash Kani |
| 2023 | Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings Catherine Dubois, Manfred Kerber |
| 2023 | Isabelle Formalisation of Original Representation Theorems. Marco B. Caminati |
| 2023 | Large-Scale Formal Proof for the Working Mathematician - Lessons Learnt from the ALEXANDRIA Project. Lawrence C. Paulson |
| 2023 | Learning Support Systems Based on Mathematical Knowledge Management. Marc Berges, Jonas Betzendahl, Abhishek Chugh, Michael Kohlhase, Dominic Lohr, Dennis Müller |
| 2023 | Morphism Equality in Theory Graphs. Florian Rabe, Franziska Weber |
| 2023 | Multiple-Inheritance Hazards in Dependently-Typed Algebraic Hierarchies. Eric Wieser |
| 2023 | Never Trust Your Solver: Certification for SAT and QBF. Martina Seidl |
| 2023 | Nominal AC-Matching. Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes-Sobrinho |
| 2023 | ProofLang: The Language of arXiv Proofs. Henry Hammer, Nanako Noda, Christopher A. Stone |
| 2023 | Proving Results About OEIS Sequences with Walnut. Jeffrey O. Shallit |
| 2023 | Proving an Execution of an Algorithm Correct? James Harold Davenport |
| 2023 | Teaching Linear Algebra in a Mechanized Mathematical Environment. Robert M. Corless, David J. Jeffrey, Azar Shakoori |
| 2023 | Towards an Annotation Standard for STEM Documents - Datasets, Benchmarks, and Spotters. Jan Frederik Schaefer, Michael Kohlhase |
| 2023 | True Crafted Formula Families for Benchmarking Quantified Satisfiability Solvers. Simone Heisinger, Martina Seidl |
| 2023 | Verified Correctness, Accuracy, and Convergence of a Stationary Iterative Linear Solver: Jacobi Method. Mohit Tekriwal, Andrew W. Appel, Ariel E. Kellison, David Bindel, Jean-Baptiste Jeannin |
| 2023 | VizAR: Visualization of Automated Reasoning Proofs (System Description). Jan Jakubuv, Cezary Kaliszyk |