Towards a Heterogeneous Query Language for Mathematical Knowledge (abstract)

OntoMathEdu: a New Linguistically Grounded Educational Mathematical Ontology (abstract)

FrameIT: Detangling Knowledge Management from Game Design in Serious Games (abstract)

(Invited talk) Formalizing Undergraduate Mathematics (abstract)

A Framework for Formal Dynamic Dependability Analysis using HOL Theorem Proving (Project Paper) (abstract)

Formal Adventures in Convex and Conical Spaces (abstract)

Adding an Abstraction Barrier to ZF Set Theory (abstract)

Formalizing Graph Trail Properties in Isabelle/HOL (abstract)

A Survey of Languages for Formalizing Mathematics (abstract)

Representing Structural Language Features in Formal Meta-Languages (abstract)

Formalization of elementary number theory in Mizar (abstract)

Interpreting Mathematical Texts in Naproche-SAD (and: From LaTeX to Lean with a controlled natural language) (abstract)

(Invited talk) Formally Verified Constraints Solvers: a Guided Tour (abstract)

Maintaining a Library of Formal Mathematics (abstract)

AutoMSC: Automatic Assignment of Mathematicas Subject Classification Labels (abstract)

Leveraging Information Contained in Theory Presentations (abstract)

A Contextual and Labeled Math-Dataset Derived from NIST's DLMF (abstract)

TGView3D: a System for 3-Dimensional Visualization of Theory Graphs (abstract)

Induction with Generalization in Superposition Reasoning (abstract)

Metamath Zero: Designing a Theorem Prover Prover (abstract)

Formally Verifying Proofs for Algebraic Identities of Matrices (abstract)

(Invited talk) A Promising Path Towards Autoformalization and General Artificial Intelligence (abstract)

The Tactician: A Seamless, Interactive Tactic Learner and Prover for Coq (abstract)

Simple Dataset for Proof Method Recommendation in Isabelle/HOL (Dataset Description) (abstract)

Tree Neural Networks in HOL4 (abstract)

Guiding Connection Tableau by Recurrent Neural Networks (abstract)

First Datasets and Experiments with Neural Conjecturing (abstract)

Undefinedness and Soft Typing in Formal Mathematics (abstract)

Formally Correct Deduction Methods for Computational Logic (abstract)

Formal Verification for Safe and Secure Hardware Systems (abstract)

Studying the learning process of student teachers regarding the subject of mathematical terminology in graph theory with the usage of an electronic dictionary (abstract)

High-Precision Semantics Extraction in STEM (abstract)

How Natural is Formal Mathematics? (abstract)

(Invited talk) Formal Proofs for the Future (abstract)

(Invited talk) The evolution of the language of mathematics (abstract)

Formalizing Foundational Notions in Naproche-SAD (4 short talks) (abstract)

Integrating Formal Methods into LaTeX Workflows (abstract)

Why We Need Structured Proofs in Mathematics (abstract)