| 2026 | Intelligent Computer Mathematics - 18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings Valeria de Paiva, Peter Koepke |
| 2025 | A Formal Description of an Algorithm Suitable for Parsing the Language of Mathematics. Luka Vrecar, Joe B. Wells, Fairouz Kamareddine |
| 2025 | A Lean-based Language for Teaching Proof in High School. Frédéric Tran Minh, Laure Gonnord, Julien Narboux |
| 2025 | A PVS Library on the Infinitude of Primes. Bruno Berto de Oliveira Ribeiro, Mariano M. Moscato, Thaynara Arielly de Lima, Mauricio Ayala-Rincón |
| 2025 | Automated Symmetric Constructions in Discrete Geometry. Bernardo Subercaseaux, Ethan Mackey, Long Qian, Marijn Heule |
| 2025 | Boosting Math Problem Solving in Small LLMs via Ensembles. Ruocheng Shan, Abdou Youssef |
| 2025 | Certified Algorithms for Numerical Semigroups in Rocq. Massimo Bartoletti, Stefano Bonzio, Marco Ferrara |
| 2025 | Equational Generalization Problems with Atom-Variables. Alexander Baumgartner, Temur Kutsia, Daniele Nantes-Sobrinho, Manfred Schmidt-Schauß |
| 2025 | Exploring Formal Math on the Blockchain: An Explorer for Proofgold. Chad E. Brown, Cezary Kaliszyk, Josef Urban |
| 2025 | Exploring proof autoformalization with Mistral on Herald. Lucy Horowitz, Michail Karatarakis, Xuandi Ren, Alejandro Sanchez Ocegueda |
| 2025 | Extending Flexible Boolean Semantics for the Language of Mathematics. Shashank Pathak |
| 2025 | Formalising Fairness in the Assignment Problem with Ordinal Preferences in Isabelle/HOL. Duc Minh Do, Christine Rizkallah |
| 2025 | Formalizing MLTL Formula Progression in Isabelle/HOL. Katherine Kosaian, Zili Wang, Elizabeth Sloan, Kristin Yvonne Rozier |
| 2025 | Formalizing a Classification Theorem for Low-Dimensional Solvable Lie Algebras in Lean. Viviana del Barco, Gustavo Infanti, Exequiel Rivas, Paul Schwahn |
| 2025 | Formalizing the Solow Model in $\mathbb {N}$aproche. Peter Koepke, Patrick Schäfer |
| 2025 | Global, Regional, and Local Contexts. Florian Rabe |
| 2025 | Graded Quantitative Narrowing. Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Georg Ehling, Temur Kutsia |
| 2025 | Growing Mathlib: maintenance of a large scale mathematical library. Anne Baanen, Matthew Robert Ballard, Johan Commelin, Bryan Gin-ge Chen, Michael Rothgang, Damiano Testa |
| 2025 | Hammering Higher Order Set Theory. Chad E. Brown, Cezary Kaliszyk, Martin Suda, Josef Urban |
| 2025 | Indexing and Retrieval in a Heterogeneous Formal Library. Claudio Sacerdoti Coen, Abdelghani Alidra |
| 2025 | Lightweight Realms. Michael Kohlhase, Florian Rabe, Marcel Schütz |
| 2025 | Reaping the Benefits of Modularization in Flexiformal Mathematics by GF-based AST Transformations. Josefin Kelber, Michael Kohlhase, Jan Frederik Schaefer, Marcel Schütz |
| 2025 | Semantic Authoring in a Flexiformal Context - Bulk Annotation of Rigorous Documents. Michael Kohlhase, Jan Frederik Schaefer |
| 2025 | Supporting Maintenance of Formal Mathematics with Similarity Search. Fabian Huch |
| 2025 | Synthesis Benchmarks for Automated Reasoning. Márton Hajdú, Petra Hozzová, Laura Kovács, Andrei Voronkov, Eva Maria Wagner, Richard Steven Zilincík |
| 2025 | Vector Graphics through Category Theory. Davi Sales Barreira, Henrique Borges Carvalho, Alexandre Rademaker, Asla Medeiros e Sá, Flávio Codeço Coelho |