Frederik Schaefer : Selected Publications

Please respect any copyrights when downloading
  1. Archival Literature
    1. Papers at International, Peer-Reviewed Conferences
  2. Theses
  3. Bachelors/Masters Project Reports
  4. Gray Literature
    1. Papers at Peer-Reviewed Workshops
  5. Unpublished

Archival Literature

Papers at International, Peer-Reviewed Conferences

  1. [4] J. F. Schaefer and M. Kohlhase (2023) Towards an annotation standard for stem documents – datasets, benchmarks, and spotters. In Intelligent computer mathematicsIntelligent Computer Mathematics (CICM) 2023, C. Dubois and M. Kerber (Eds.), LNAI. Cited by: p1.
  2. [1] M. Kohlhase, F. Rabe, C. S. Coen, and J. F. Schaefer (2020) Logic-independent proof search in logical frameworks (short paper). In 10th international joint conference on automated reasoning (IJCAR 2020)10th International Joint Conference on Automated Reasoning (IJCAR 2020), N. Peltier and V. Sofronie-Stokkermans (Eds.), pp. 395–401. Cited by: p1.
  3. [2] J. F. Schaefer, K. Amann, and M. Kohlhase (2020) Prototyping controlled mathematical languages in jupyter notebooks. In Mathematical software – icms 2020. 7th international conferenceMathematical Software – ICMS 2020. 7th international conference, A. M. Bigatti, J. Carette, J. H. Davenport, M. Joswig, and T. de Wolff (Eds.), LNCS, Vol. 12097, pp. 406–415. External Links: Link Cited by: p1.
  4. [3] J. F. Schaefer and M. Kohlhase (2018) Syntactic/semantic analysis for high-precision math linguistics. In Workshop papers at 11th conference on intelligent computer mathematics cicm 2018Workshop Papers at 11th Conference on Intelligent Computer Mathematics CICM 2018, O. Hasan, A. Youssef, A. Naumowicz, W. Farmer, C. Kaliszyk, D. Gallois-Wong, F. Rabe, G. D. Reis, G. Passmore, J. Davenport, M. Pfeiffer, M. Kohlhase, S. Autexier, S. Tahar, T. Koprucki, U. Siddique, W. Neuper, W. Windsteiger, W. Schreiner, W. Sperber, and Z. Kovács (Eds.), Note: CICM Work in Progress Paper External Links: Link Cited by: p1.

Theses

  1. [2] J. F. Schaefer (2020) Implementing ForTheL in GLIF – a case study. Master Project Report. External Links: Link Cited by: p1.
  2. [3] J. F. Schaefer (2020) Prototyping NLU pipelines – a type-theoretical framework. Master’s Thesis, Informatik, FAU Erlangen-Nürnberg. External Links: Link Cited by: p1.
  3. [1] J. F. Schaefer (2016) Declaration spotting in mathematical documents. B. Sc. Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.

Bachelors/Masters Project Reports

  1. [1] J. F. Schaefer (2020) Implementing ForTheL in GLIF – a case study. Master Project Report. External Links: Link Cited by: p1.

Gray Literature

Papers at Peer-Reviewed Workshops

  1. [2] L. Panzer and J. F. Schaefer (2023) AnnoTize: a flexible annotation tool for documents with mathematical formulae. In MathUI 2023: the 14th workshop on mathematical user interfacesMathUI 2023: The 14th Workshop on Mathematical User Interfaces, A. Kohlhase (Ed.), Note: accepted Cited by: p1.
  2. [6] J. F. Schaefer and M. Kohlhase (2023) Towards an annotation standard for stem documents – datasets, benchmarks, and spotters. In Intelligent computer mathematicsIntelligent Computer Mathematics (CICM) 2023, C. Dubois and M. Kerber (Eds.), LNAI. Cited by: p1.
  3. [3] J. F. Schaefer, K. Amann, and M. Kohlhase (2020) Prototyping controlled mathematical languages in jupyter notebooks. In Mathematical software – icms 2020. 7th international conferenceMathematical Software – ICMS 2020. 7th international conference, A. M. Bigatti, J. Carette, J. H. Davenport, M. Joswig, and T. de Wolff (Eds.), LNCS, Vol. 12097, pp. 406–415. External Links: Link Cited by: p1.
  4. [5] J. F. Schaefer and M. Kohlhase (2020) GLIF: a declarative framework for symbolic natural language understanding. In Proceedings of the 6th Workshop on Formal and Cognitive Reasoning, C. Beierle, M. Ragni, F. Stolzenburg, and M. Thimm (Eds.), pp. 4–11. External Links: Link Cited by: p1.
  5. [1] M. Kohlhase and J. F. Schaefer (2019) GF + MMT = GLF – from language to semantics through LF. In Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2019, D. Miller and I. Scagnetto (Eds.), Vol. 307, pp. 24–39. External Links: Document Cited by: p1.
  6. [4] J. F. Schaefer and M. Kohlhase (2018) Syntactic/semantic analysis for high-precision math linguistics. In Workshop papers at 11th conference on intelligent computer mathematics cicm 2018Workshop Papers at 11th Conference on Intelligent Computer Mathematics CICM 2018, O. Hasan, A. Youssef, A. Naumowicz, W. Farmer, C. Kaliszyk, D. Gallois-Wong, F. Rabe, G. D. Reis, G. Passmore, J. Davenport, M. Pfeiffer, M. Kohlhase, S. Autexier, S. Tahar, T. Koprucki, U. Siddique, W. Neuper, W. Windsteiger, W. Schreiner, W. Sperber, and Z. Kovács (Eds.), Note: CICM Work in Progress Paper External Links: Link Cited by: p1.

Unpublished

  1. [1] M. Kohlhase, F. Rabe, C. S. Coen, and J. F. Schaefer (2020) Logic-independent proof search in logical frameworks (extended report). Note: extended report of conference submission External Links: Link Cited by: p1.