Experience
Sign in to view more
Education
Sign in to view more
Bio
I am interested in automated reasoning, machine learning, and artificial intelligence in general. My current research focuses on building machine learning techniques to advance automated theorem proving. Prior to that, I worked on joint language and vision recognition and graph representation learning.