Sergey Shirobokov

1. Advancing Mathematics Research with AI-Driven Formal Proof Search
   2026/05/21 by George Tsoukalas, Anton Kovsharov, Sergey Shirobokov +18 · 21 voices · 5 citations
   #cs.AI
2. AlphaEvolve: A coding agent for scientific and algorithmic discovery
   2025/06/16 by Alexander Novikov, Nhat Vu, Novikov, Alexander +38 · 2 voices · 171 citations
   Decision Sciences · #Scientific Computing and Data Management