A. Remizov

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Data Curation & Synthetic Data (1)Reasoning & Chain-of-Thought (1)

Frequent co-authors

Simon Kurgan (1)Evan Wang (1)Eric Leonen (1)Sophie Szeto (1)

Papers (1)

Jun 24, 2026

UW2w ago

TheoremGraph: Bridging Formal and Informal Mathematics

Bridging the gap between informal and formal mathematics, TheoremGraph reveals 18.3 million dependencies that can enhance mathematical search and reasoning.

Simon Kurgan, Evan Wang, Eric Leonen +9

Data Curation & Synthetic Data Reasoning & Chain-of-Thought

Search

A. Remizov

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)