Elvir Karimov

Identifiers

• name variant Elvir Karimov 0.60 · backfill

Papers (1)

1. TheoremBench: Evaluating LLMs on Theorem Proving in Formal Mathematics cs.AI · 2026 · author #2

Mentions

• 2606.09450 #2 · arxiv_oai · confidence 0.70 Elvir Karimov

Frequent Coauthors

• Andrey Galichin 1 shared papers
• Ivan Oseledets 1 shared papers
• QuocViet Pham 1 shared papers