Vasily Ilin

Identifiers

• name variant Vasily Ilin 0.60 · backfill

Papers (2)

1. Evaluation of LLMs for Mathematical Formalization in Lean cs.AI · 2026 · author #9
2. DiScoFormer: Plug-In Density and Score Estimation with Transformers cs.LG · 2025 · author #1

Mentions

• 2606.05632 #9 · arxiv_oai · confidence 0.70 Vasily Ilin
• 2511.05924 #1 · arxiv_oai · confidence 0.70 Vasily Ilin

Frequent Coauthors

• Ariel Fu 1 shared papers
• Bohao Chen 1 shared papers
• Drew Bladek 1 shared papers
• Escher Crawford 1 shared papers
• Giovanni Inchiostro 1 shared papers
• Jarod Alper 1 shared papers
• Kaira Nair 1 shared papers
• Peter Sushko 1 shared papers
• Ranjay Krishna 1 shared papers
• Tyson Klingner 1 shared papers