Jason Rute

Postdoc, IBM Research
Joined
May 2021

Names

Jason Rute (Preferred)

Emails

****@gmail.com (Confirmed)
, 
****@ibm.com (Confirmed)
, 
****@ibm.com (Confirmed)

Personal Links

Career & Education History

Postdoc
IBM Research (research.ibm.com)
2021 – Present
Data Scientist
CIBO Technologies (cibotechnologies.com)
2018 – 2021
Postdoc
Pennsylvania State University (psu.edu)
2013 – 2017
PhD student
Carnegie Mellon University (cmu.edu)
2008 – 2013

Advisors, Relations & Conflicts

Coauthor
Yuhuai Wu
2020 – 2021
Coauthor
Jesse Michael Han
2020 – 2021
Coauthor
Stanislas Polu
2020 – 2021
Coauthor
Edward Ayers
2020 – 2021
PhD Advisor
Jeremy Avigad
2008 – 2013

Expertise

Theorem proving
2018 – Present
Machine learning for theorem proving
2018 – Present

Publications

Co-Authors