3 papers
cs.IR2026
TheoremGraph: Bridging Formal and Informal Mathematics
Simon Kurgan, Evan Wang, Eric Leonen +6
Mathematical knowledge is organized around statements and their dependencies, but this structure is exposed unevenly: informal papers cite mostly at the document level, while forma…
cs.IR2026
Semantic Search over 9 Million Mathematical Theorems
Luke Alexander, Eric Leonen, Sophie Szeto +5
Searching for mathematical results remains difficult: most existing tools retrieve entire papers, while mathematicians and theorem-proving agents often seek a specific theorem, lem…
physics.bio-ph2025
Quantifying the Hemodynamic Effects of Ventricular Fibrillation using a Verified Computational Model
Artemii Remizov, Sergey Lapin
Ventricular Fibrillation (VF) is a malignant cardiac arrhythmia and the leading cause of sudden cardiac death, characterized by disorganized, high-frequency ventricular activity th…