172 citations · 418 across the 52 of their papers we have counts for
6 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…
Quantifying Ethereum Energy Consumption via Network Mapping
Yahn Costa Hackspacher, Cornelius Ihle, Vasundhara Shaw +4
Ethereum's electricity use fell by about 99.95% after the move from proof of work to proof of stake. Service providers still need to report operational energy use, e.g. under the E…
Syntax Meets Semantics: Understanding Scientific Formulae
Yuni Susanti, Moritz Schubotz
Scientific formulae are a fundamental component of scholarly communication, yet their dual nature -- as structured syntax and carriers of semantics -- remains underexplored in scho…
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…
Large-Scale Measurement of NAT Traversal for the Decentralized Web: A Case Study of DCUtR in IPFS
Dennis Trautwein, Cornelius Ihle, Moritz Schubotz +2
The promise of decentralized peer-to-peer (P2P) systems is fundamentally gated by the challenge of Network Address Translation (NAT) traversal, with existing solutions often reintr…
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…