| 2021 | 10 Years Later: The Mathematics Subject Classification and Linked Open Data. Susanne Arndt, Patrick Ion, Mila Runnwerth, Moritz Schubotz, Olaf Teschke |
| 2021 | A Heuristic Prover for Elementary Analysis in Theorema. Tudor Jebelean |
| 2021 | A Language with Type-Dependent Equality. Florian Rabe |
| 2021 | A Modular First Formalisation of Combinatorial Design Theory. Chelsea Edmonds, Lawrence C. Paulson |
| 2021 | A New Export of the Mizar Mathematical Library. Colin Rothgang, Artur Kornilowicz, Florian Rabe |
| 2021 | Automated Generation of Exam Sheets for Automated Deduction. Petra Hozzová, Laura Kovács, Jakob Rath |
| 2021 | Beautiful Formalizations in Isabelle/Naproche. Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, Erik Sturzenhecker |
| 2021 | CICM'21 Systems Entries. Martin Líska, Dávid Lupták, Vít Novotný, Michal Ruzicka, Boris Shminke, Petr Sojka, Michal Stefánik, Makarius Wenzel |
| 2021 | Formalization of RBD-Based Cause Consequence Analysis in HOL. Mohamed Abdelghany, Sofiène Tahar |
| 2021 | Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL. Asta Halkjær From, Agnes Moesgård Eschen, Jørgen Villadsen |
| 2021 | Gauss-Lintel, an Algorithm Suite for Exploring Chord Diagrams. Abdullah Khan, Alexei Lisitsa, Alexei Vernitski |
| 2021 | Generating Custom Set Theories with Non-set Structured Objects. Ciarán Dunne, J. B. Wells, Fairouz Kamareddine |
| 2021 | Heterogeneous Heuristic Optimisation and Scheduling for First-Order Theorem Proving. Edvard K. Holden, Konstantin Korovin |
| 2021 | Improving Stateful Premise Selection with Transformers. Krsto Prorokovic, Michael Wand, Jürgen Schmidhuber |
| 2021 | Inductive Benchmarks for Automated Reasoning. Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov |
| 2021 | Intelligent Computer Mathematics - 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings Fairouz Kamareddine, Claudio Sacerdoti Coen |
| 2021 | Learning to Solve Geometric Construction Problems from Images. Jaroslav Macke, Jirí Sedlár, Miroslav Olsák, Josef Urban, Josef Sivic |
| 2021 | Online Machine Learning Techniques for Coq: A Comparison. Liao Zhang, Lasse Blaauwbroek, Bartosz Piotrowski, Prokop Cerný, Cezary Kaliszyk, Josef Urban |
| 2021 | Searching for Mathematical Formulas Based on Graph Representation Learning. Yujin Song, Xiaoyu Chen |
| 2021 | Towards Math Terms Disambiguation Using Machine Learning. Ruocheng Shan, Abdou Youssef |
| 2021 | WebMIaS on Docker - Deploying Math-Aware Search in a Single Line of Code. Dávid Lupták, Vít Novotný, Michal Stefánik, Petr Sojka |