Registered user since Thu 13 Nov 2014

Name: Alex Polozov

Country: United States

Affiliation: Microsoft Research

Personal website: http://www.alexpolozov.com/

Research interests: Program Synthesis, Formal Logic, Machine Learning, Deep Learning

Contributions