3 citations · 6 across the 7 of their papers we have counts for
8 papers
Formal-Informal Mathematical Alignment through and beyond Human Annotations
Noah Gießing, Ankit Satpute, Hamid Rahkooy +2
Formalized mathematics libraries such as Lean's \texttt{mathlib} provide machine-verifiable representations of mathematical knowledge, including definitions, theorems, and their re…
Aspect-Aware Content-Based Recommendations for Mathematical Research Papers
Ankit Satpute, André Greiner-Petter, Noah Gießing +4
Content-based research paper recommendation (CbRPR) has seen advances in computer science and biomedicine, but remains unexplored for mathematics, where paper relatedness is more c…
LLM-supported document separation for printed reviews from zbMATH Open
Ivan Pluzhnikov, Ankit Satpute, Moritz Schubotz +2
This paper presents a specialized methodology for digitizing and segmenting mathematical documents from zbMATH Open, a comprehensive database of mathematical literature, to enhance…
Reducing the climate impact of data portals: a case study
Noah Gießing, Madhurima Deb, Ankit Satpute +2
The carbon footprint share of the information and communication technology (ICT) sector has steadily increased in the past decade and is predicted to make up as much as 23 \% of gl…
Can LLMs Master Math? Investigating Large Language Models on Math Stack Exchange
Ankit Satpute, Noah Giessing, Andre Greiner-Petter +4
Large Language Models (LLMs) have demonstrated exceptional capabilities in various natural language tasks, often achieving performances that surpass those of humans. Despite these…
Taxonomy of Mathematical Plagiarism
Ankit Satpute, Andre Greiner-Petter, Noah Gießing +5
Plagiarism is a pressing concern, even more so with the availability of large language models. Existing plagiarism detection systems reliably find copied and moderately reworded te…
TEIMMA: The First Content Reuse Annotator for Text, Images, and Math
Ankit Satpute, André Greiner-Petter, Moritz Schubotz +4
This demo paper presents the first tool to annotate the reuse of text, images, and mathematical formulae in a document pair -- TEIMMA. Annotating content reuse is particularly usef…
Caching and Reproducibility: Making Data Science experiments faster and FAIRer
Moritz Schubotz, Ankit Satpute, Andre Greiner-Petter +2
Small to medium-scale data science experiments often rely on research software developed ad-hoc by individual scientists or small teams. Often there is no time to make the research…