| 2022 | A Formalization of the Change of Variables Formula for Integrals in mathlib. Sébastien Gouëzel |
| 2022 | An Evaluation of NLP Methods to Extract Mathematical Token Descriptors. Emma Hamel, Hongbo Zheng, Nickvash Kani |
| 2022 | An Integrated Web Platform for the Mizar Mathematical Library. Hideharu Furushima, Daichi Yamamichi, Seigo Shigenaka, Kazuhisa Nakasho, Katsumi Wasaki |
| 2022 | CICM'22 System Entries. Peter Koepke, Anton Lorenzen, Boris Shminke |
| 2022 | Experiments with Automated Reasoning in the Class. Isabela Dramnesc, Erika Ábrahám, Tudor Jebelean, Gábor Kusper, Sorin Stratulat |
| 2022 | Formal Entity Graphs as Complex Networks: Assessing Centrality Metrics of the Archive of Formal Proofs. Fabian Huch |
| 2022 | Formal Methods for NFA Equivalence: QBFs, Witness Extraction, and Encoding Verification. Edith Hemaspaandra, David E. Narváez |
| 2022 | Formalising Basic Topology for Computational Logic in Simple Type Theory. David Fuenmayor, Fabián Fernando Serrano Suárez |
| 2022 | Formalising the Kruskal-Katona Theorem in Lean. Bhavik Mehta |
| 2022 | Graded Rings in Lean's Dependent Type Theory. Eric Wieser, Jujian Zhang |
| 2022 | Hall's Theorem for Enumerable Families of Finite Sets. Fabián Fernando Serrano Suárez, Mauricio Ayala-Rincón, Thaynara Arielly de Lima |
| 2022 | Injecting Formal Mathematics Into LaTeX. Dennis Müller, Michael Kohlhase |
| 2022 | Intelligent Computer Mathematics - 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings Kevin Buzzard, Temur Kutsia |
| 2022 | Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories. Ciarán Dunne, J. B. Wells |
| 2022 | Learning to Reason Assisted by Automated Reasoning. Wolfgang Windsteiger |
| 2022 | Lemmaless Induction in Trace Logic. Ahmed Bhayat, Pamina Georgiou, Clemens Eisenhofer, Laura Kovács, Giles Reger |
| 2022 | Making the Census of Cubic Vertex Transitive Graphs Searchable and FAIR. Katja Bercic, Filip Koprivec |
| 2022 | On the Formalization of the Heat Conduction Problem in HOL. Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar |
| 2022 | OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas. Ankit Shukla, Sibylle Möhle, Manuel Kauers, Martina Seidl |
| 2022 | Re-imagining the Isabelle Archive of Formal Proofs. Carlin MacKenzie, Fabian Huch, James Vaughan, Jacques D. Fleuriot |
| 2022 | System Description STEX3 - A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents. Michael Kohlhase, Dennis Müller |
| 2022 | Targeted Configuration of an SMT Solver. Jan Hula, Jan Jakubuv, Mikolás Janota, Lukás Kubej |
| 2022 | Unified Decomposition-Aggregation (UDA) Rules: Dynamic, Schematic, Novel Axioms. Alan Bundy, Kwabena Nuamah |
| 2022 | Wetzel: Formalisation of an Undecidable Problem Linked to the Continuum Hypothesis. Lawrence C. Paulson |
| 2022 | Working with Families of Inverse Functions. David J. Jeffrey, Stephen M. Watt |