Anton Kovsharov

Identifiers

• name variant Anton Kovsharov 0.60 · backfill

Papers (3)

1. Advancing Mathematics Research with AI-Driven Formal Proof Search cs.AI · 2026 · author #2
2. An Improved Last-Iterate Convergence Rate for Anchored Gradient Descent Ascent math.OC · 2026 · author #4
3. Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities cs.CL · 2025 · author #1580

Mentions

• 2605.22763 #2 · arxiv_oai · confidence 0.70 Anton Kovsharov

Frequent Coauthors

• Arun Suggala 3 shared papers
• Pushmeet Kohli 3 shared papers
• Anja Surina 2 shared papers
• Francisco J. R. Ruiz 2 shared papers
• George Tsoukalas 2 shared papers
• Henryk Michalewski 2 shared papers
• Sergey Shirobokov 2 shared papers
• Swarat Chaudhuri 2 shared papers
• Aahil Mehta 1 shared papers
• Aaron Archer 1 shared papers
• Aaron Cohen 1 shared papers
• Aaron Parisi 1 shared papers
• Aaron Phillips 1 shared papers
• A\"aron van den Oord 1 shared papers
• Aarush Selvan 1 shared papers
• Aayush Singh 1 shared papers
• Abbas Abdolmaleki 1 shared papers
• Abdelrahman Abdelhamed 1 shared papers
• Abe Friesen 1 shared papers
• Abe Ittycheriah 1 shared papers