3 citations · 4 across the 5 of their papers we have counts for
4 papers · 1 filter
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…
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…
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…