20 citations · 34 across the 9 of their papers we have counts for
10 papers
Leveraging Large Language Models to Generate Course-specific Semantically Annotated Learning Objects
Dominic Lohr, Marc Berges, Abhishek Chugh +2
Background: Over the past few decades, the process and methodology of automated question generation (AQG) have undergone significant transformations. Recent progress in generative…
A Field Guide to Ethics in Mathematics
Maurice Chiodo, Dennis Müller
Mathematics has become inescapable in modern, digitized societies: there is hardly any area of life left that isn't affected by it, and we as mathematicians play a central role in…
Mathematical Artifacts Have Politics: The Journey from Examples to Embedded Ethics
Dennis Müller, Maurice Chiodo
We extend Langdon Winner's idea that artifacts have politics into the realm of mathematics. To do so, we first provide a list of examples showing the existence of mathematical arti…
Manifesto for the Responsible Development of Mathematical Works -- A Tool for Practitioners and for Management
Maurice Chiodo, Dennis Müller
This manifesto has been written as a practical tool and aid for anyone carrying out, managing or influencing mathematical work. It provides insight into how to undertake and develo…
Questions of Responsibility: Modelling in the Age of COVID-19
Maurice Chiodo, Dennis Müller
When conducting COVID-19-related research, mathematicians may find themselves in public service roles. They might engage in policy discussions, collaborate with politicians and oth…
Disambiguating Symbolic Expressions in Informal Documents
Dennis Müller, Cezary Kaliszyk
We propose the task of disambiguating symbolic expressions in informal STEM documents in the form of LaTeX files - that is, determining their precise semantics and abstract syntax…
The Space of Mathematical Software Systems -- A Survey of Paradigmatic Systems
Katja Bercic, Jacques Carette, William M. Farmer +4
Mathematical software systems are becoming more and more important in pure and applied mathematics in order to deal with the complexity and scalability issues inherent in mathemati…
Rapid Prototyping Formal Systems in MMT: 5 Case Studies
Dennis Müller, Florian Rabe
Logical frameworks are meta-formalisms in which the syntax and semantics of object logics and related formal systems can be defined. This allows object logics to inherit implementa…
Alignment-based Translations Across Formal Systems Using Interface Theories
Dennis Müller, Colin Rothgang, Yufei Liu +1
Translating expressions between different logics and theorem provers is notoriously and often prohibitively difficult, due to the large differences between the logical foundations,…
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach
Paul-Olivier Dehaye, Michael Kohlhase, Alexander Konovalov +3
OpenDreamKit --- "Open Digital Research Environment Toolkit for the Advancement of Mathematics" --- is an H2020 EU Research Infrastructure project that aims at supporting, over the…