Jan Frederik Schaefer

According to our database, Jan Frederik Schaefer authored at least 7 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards an Annotation Standard for STEM Documents - Datasets, Benchmarks, and Spotters.

Jan Frederik Schaefer, Michael Kohlhase

Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023

2021

System Description: sTeX2.0 - A LaTeX-based Ecosystem for Semantic/Active Mathematical Documents (short paper).

Dennis Müller, Michael Kohlhase, Jan Frederik Schaefer

Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021

2020

GLIF: A Declarative Framework for Symbolic Natural Language Understanding.

Jan Frederik Schaefer, Michael Kohlhase

Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), 2020

Prototyping Controlled Mathematical Languages in Jupyter Notebooks.

Jan Frederik Schaefer, Kai Amann, Michael Kohlhase

Proceedings of the Mathematical Software - ICMS 2020, 2020

Logic-Independent Proof Search in Logical Frameworks - (Short Paper).

Michael Kohlhase, Florian Rabe, Claudio Sacerdoti Coen, Jan Frederik Schaefer

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

GF + MMT = GLF - From Language to Semantics through LF.

Michael Kohlhase, Jan Frederik Schaefer

Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2019

2018

Syntactic/Semantic Analysis for High-Precision Math Linguistics (short paper).

Jan Frederik Schaefer, Michael Kohlhase

Proceedings of the Joint Proceedings of the CME-EI, 2018