| 2020 | A Contextual and Labeled Math-Dataset Derived from NIST's DLMF. Abdou Youssef, Bruce R. Miller |
| 2020 | A Framework for Formal Dynamic Dependability Analysis Using HOL Theorem Proving. Yassmeen Elderhalli, Osman Hasan, Sofiène Tahar |
| 2020 | A Promising Path Towards Autoformalization and General Artificial Intelligence. Christian Szegedy |
| 2020 | A Survey of Languages for Formalizing Mathematics. Cezary Kaliszyk, Florian Rabe |
| 2020 | Adding an Abstraction Barrier to ZF Set Theory. Ciarán Dunne, J. B. Wells, Fairouz Kamareddine |
| 2020 | AutoMSC: Automatic Assignment of Mathematics Subject Classification Labels. Moritz Schubotz, Philipp Scharpf, Olaf Teschke, Andreas Kühnemund, Corinna Breitinger, Bela Gipp |
| 2020 | Dataset Description: Formalization of Elementary Number Theory in Mizar. Adam Naumowicz |
| 2020 | First Neural Conjecturing Datasets and Experiments. Josef Urban, Jan Jakubuv |
| 2020 | Formal Adventures in Convex and Conical Spaces. Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa |
| 2020 | Formalizing Graph Trail Properties in Isabelle/HOL. Laura Kovács, Hanna Lachnitt, Stefan Szeider |
| 2020 | Formally Verifying Proofs for Algebraic Identities of Matrices. Leonard Schmitz, Viktor Levandovskyy |
| 2020 | FrameIT: Detangling Knowledge Management from Game Design in Serious Games. Michael Kohlhase, Benjamin Bösl, Richard Marcus, Dennis Müller, Denis Rochau, Navid Roux, John Schihada, Marc Stamminger |
| 2020 | Guiding Inferences in Connection Tableau by Recurrent Neural Networks. Bartosz Piotrowski, Josef Urban |
| 2020 | Induction with Generalization in Superposition Reasoning. Márton Hajdú, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Andrei Voronkov |
| 2020 | Intelligent Computer Mathematics - 13th International Conference, CICM 2020, Bertinoro, Italy, July 26-31, 2020, Proceedings Christoph Benzmüller, Bruce R. Miller |
| 2020 | Interpreting Mathematical Texts in Naproche-SAD. Adrian De Lon, Peter Koepke, Anton Lorenzen |
| 2020 | Leveraging the Information Contained in Theory Presentations. Jacques Carette, William M. Farmer, Yasmine Sharoda |
| 2020 | Maintaining a Library of Formal Mathematics. Floris van Doorn, Gabriel Ebner, Robert Y. Lewis |
| 2020 | Metamath Zero: Designing a Theorem Prover Prover. Mario Carneiro |
| 2020 | OntoMath Alexander Kirillovich, Olga Nevzorova, Marina V. Falileeva, Evgeny K. Lipachev, Liliana R. Shakirova |
| 2020 | Representing Structural Language Features in Formal Meta-languages. Dennis Müller, Florian Rabe, Colin Rothgang, Michael Kohlhase |
| 2020 | Simple Dataset for Proof Method Recommendation in Isabelle/HOL. Yutaka Nagashima |
| 2020 | TGView3D: A System for 3-Dimensional Visualization of Theory Graphs. Richard Marcus, Michael Kohlhase, Florian Rabe |
| 2020 | The Tactician - A Seamless, Interactive Tactic Learner and Prover for Coq. Lasse Blaauwbroek, Josef Urban, Herman Geuvers |
| 2020 | Towards a Heterogeneous Query Language for Mathematical Knowledge. Katja Bercic, Michael Kohlhase, Florian Rabe |
| 2020 | Tree Neural Networks in HOL4. Thibault Gauthier |