Research author

Sergey Shirobokov

2 AI research papers in the One9Founders library, with summaries and links to original sources.

Papers by Sergey Shirobokov

Aug 10, 2026
cs.AI

ArchAgent v2: A Case Study with the Data Prefetching Championship

Abraham Gonzalez, Raghav Gupta, Akanksha Jain, et al.

May 21, 2026
cs.AI

Advancing Mathematics Research with AI-Driven Formal Proof Search

George Tsoukalas, Anton Kovsharov, Sergey Shirobokov, et al.

Sergey Shirobokov — AI Research Papers | One9Founders