Artemii Remizov

Identifiers

• name variant Artemii Remizov 0.60 · backfill

Papers (1)

1. TheoremGraph: Bridging Formal and Informal Mathematics cs.IR · 2026 · author #6

Mentions

• 2606.25363 #6 · arxiv_oai · confidence 0.70 Artemii Remizov

Frequent Coauthors

• Eric Leonen 1 shared papers
• Evan Wang 1 shared papers
• Giovanni Inchiostro 1 shared papers
• Jarod Alper 1 shared papers
• Luke Alexander 1 shared papers
• Simon Kurgan 1 shared papers
• Sophie Szeto 1 shared papers
• Vasily Ilin 1 shared papers