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.