Pavel Vasilyev

https://arbital.com/p/PavelVasilyev

by Pavel Vasilyev Dec 22 2015 updated Aug 21 2017

Automatically generated group for Pavel Vasilyev


Pavel Vasilyev is an Israeli mathematician and a long-standing member of LW and EA communities. His interests include proof theory, practical AI and communities of practice.