Syntactic/Semantic Analysis for High-Precision Math Linguistics (short paper). - Jan Frederik Schaefer; Michael Kohlhase (CICM Workshops, 2018)

GF + MMT = GLF - From Language to Semantics through LF. - Michael Kohlhase; Jan Frederik Schaefer (LFMTP@LICS, 2019)

Logic-Independent Proof Search in Logical Frameworks - (Short Paper). - Michael Kohlhase; Florian Rabe 001; Claudio Sacerdoti Coen; Jan Frederik Schaefer (IJCAR (1), 2020)

Prototyping Controlled Mathematical Languages in Jupyter Notebooks. - Jan Frederik Schaefer; Kai Amann; Michael Kohlhase (ICMS, 2020)

GLIF: A Declarative Framework for Symbolic Natural Language Understanding. - Jan Frederik Schaefer; Michael Kohlhase (FCR@KI, 2020)

System Description: sTeX2.0 - A LaTeX-based Ecosystem for Semantic/Active Mathematical Documents (short paper). - Dennis Müller 001; Michael Kohlhase; Jan Frederik Schaefer (CICM Workshops, 2021)

Towards an Annotation Standard for STEM Documents - Datasets, Benchmarks, and Spotters. - Jan Frederik Schaefer; Michael Kohlhase (CICM, 2023)