Hi! My name is Boris. I’m a machine learning and big data professional with 10+ years of experience. Please see my CV or find me at the LinkedIn.

Now I’m working as a PhD candidate (defence expected in Aug 2023) at Dieudonné math lab. Please see my publication list on applying artificial intelligence to theorem proving.

My recent projects include

• a collection of OpenAI Gym environments for automated provers
• a Python client to Isabelle proof assistant server

I’ve also contributed to Apache Spark and Ray.