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.
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.