Sergey Shirobokov

According to our database, Sergey Shirobokov authored at least 7 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Advancing Mathematics Research with AI-Driven Formal Proof Search.

George Tsoukalas, Anton Kovsharov, Sergey Shirobokov, Anja Surina, Moritz Firsching, Gergely Bérczi, Francisco J. R. Ruiz, Arun Suggala, Adam Zsolt Wagner, Eric Wieser, Lei Yu, Aja Huang, Miklós Z. Horváth, Andrew Ferrauiolo, Henryk Michalewski, Codrut Grosu, Thomas Hubert, Matej Balog, Pushmeet Kohli, Swarat Chaudhuri

CoRR, May, 2026

An Improved Last-Iterate Convergence Rate for Anchored Gradient Descent Ascent.

Anja Surina, Arun Suggala, George Tsoukalas, Anton Kovsharov, Sergey Shirobokov, Francisco J. R. Ruiz, Pushmeet Kohli, Swarat Chaudhuri

CoRR, April, 2026

ArchAgent: Agentic AI-driven Computer Architecture Discovery.

Raghav Gupta, Akanksha Jain, Abraham Gonzalez, Alexander Novikov, Po-Sen Huang, Matej Balog, Marvin Eisenberger, Sergey Shirobokov, Ngân Vu, Martin Dixon, Borivoje Nikolic, Parthasarathy Ranganathan, Sagar Karandikar

CoRR, February, 2026

2025

AlphaEvolve: A coding agent for scientific and algorithmic discovery.

Alexander Novikov, Ngân Vu, Marvin Eisenberger, Emilien Dupont, Po-Sen Huang, Adam Zsolt Wagner, Sergey Shirobokov, Borislav Kozlovskii, Francisco J. R. Ruiz, Abbas Mehrabian, M. Pawan Kumar, Abigail See, Swarat Chaudhuri, George Holland, Alex Davies, Sebastian Nowozin, Pushmeet Kohli, Matej Balog

CoRR, June, 2025

2023

Graph Neural Networks for Link Prediction with Subgraph Sketching.

Benjamin Paul Chamberlain, Sergey Shirobokov, Emanuele Rossi, Fabrizio Frasca, Thomas Markovich, Nils Yannick Hammerla, Michael M. Bronstein, Max Hansmire

Proceedings of the Eleventh International Conference on Learning Representations, 2023

2020

Differentiating the Black-Box: Optimization with Local Generative Surrogates.

Sergey Shirobokov, Vladislav Belavin, Michael Kagan, Andrey Ustyuzhanin, Atilim Günes Baydin

CoRR, 2020

Black-Box Optimization with Local Generative Surrogates.

Sergey Shirobokov, Vladislav Belavin, Michael Kagan, Andrey Ustyuzhanin, Atilim Gunes Baydin

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020