Jan Frederik Schaefer

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 7

Top Topics

Semantic Analysis

Natural Language

Top Venues

Publications

Jan Frederik Schaefer, Michael Kohlhase
Towards an Annotation Standard for STEM Documents - Datasets, Benchmarks, and Spotters. CICM (2023)
Dennis Müller, Michael Kohlhase, Jan Frederik Schaefer
System Description: sTeX2.0 - A LaTeX-based Ecosystem for Semantic/Active Mathematical Documents (short paper). CICM Workshops (2021)
Michael Kohlhase, Florian Rabe, Claudio Sacerdoti Coen, Jan Frederik Schaefer
Logic-Independent Proof Search in Logical Frameworks - (Short Paper). IJCAR (1) (2020)
Jan Frederik Schaefer, Michael Kohlhase
GLIF: A Declarative Framework for Symbolic Natural Language Understanding. FCR@KI (2020)
Jan Frederik Schaefer, Kai Amann, Michael Kohlhase
Prototyping Controlled Mathematical Languages in Jupyter Notebooks. ICMS (2020)
Michael Kohlhase, Jan Frederik Schaefer
GF + MMT = GLF - From Language to Semantics through LF. LFMTP@LICS (2019)
Jan Frederik Schaefer, Michael Kohlhase
Syntactic/Semantic Analysis for High-Precision Math Linguistics (short paper). CICM Workshops (2018)