Hey, I'm Slava 👋

[email protected] · Google Scholar · Twitter · LinkedIn · GitHub

I was born in Vodorezovo, a Siberian village with a population of twenty. Since Vodorezovo was not heavily investing in AI research, I had to take a few detours before ending up in San Francisco, California.

Professionally, most people probably know me as a mathematician or a startup founder. It's fair although I do think it often overshadows my old career as a competitive Irish dancer.

As a mathematician, I worked on integrable lattice models, a fascinating subject in the intersection of mathematical physics, algebraic combinatorics, and representation theory. As a founder, I cofounded a startup in AI-driven drug discovery where we developed computational methods to predict results of expensive experiments using AI and physics-based methods.

As it happens, both of these plots are slightly out of date now.

These days I spend most of my waking hours wrangling AI models into solving hard math problems. Along the way, I'm formalizing chunks of algebraic combinatorics in Lean 4, contributing to the beautiful Mathlib, and researching how AI systems reason about and discover mathematics.

Some writing:

• How I Fell in Love with Math
• On SieveStack
• Math