Jason Rute

IBM Research

Names

Jason Rute (Preferred)

Emails

****@gmail.com
,
****@ibm.com
,
****@ibm.com

Education & Career History

Postdoc
IBM Research (research.ibm.com)
2021Present
 
Data Scientist
CIBO Technologies (cibotechnologies.com)
20182021
 
Postdoc
Pennsylvania State University (psu.edu)
20132017
 
PhD student
Carnegie Mellon University (cmu.edu)
20082013
 

Advisors, Relations & Conflicts

Coauthor
20202021
 
Coauthor
Jesse Michael Han
20202021
 
Coauthor
20202021
 
Coauthor
Edward Ayers
20202021
 
PhD Advisor
Jeremy Avigad
20082013
 

Expertise

Theorem proving
2018Present
 
Machine learning for theorem proving
2018Present