Jason Rute

IBM Research

Names

How do you usually write your name as author of a paper? Also add any other names you have authored papers under.

Jason Rute (Preferred)

Emails

Enter email addresses associated with all of your current and historical institutional affiliations, as well as all your previous publications, and the Toronto Paper Matching System. This information is crucial for deduplicating users, and ensuring you see your reviewing assignments.

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

Education & Career History

Enter your education and career history. The institution domain is used for conflict of interest detection and institution ranking. For ongoing positions, leave the end field blank.

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

Enter all advisors, co-workers, and other people that should be included when detecting conflicts of interest.

Coauthor
Yuhuai Wu
****@gmail.com
20202021
 
Coauthor
Jesse Michael Han
****@gmail.com
20202021
 
Coauthor
Stanislas Polu
****@openai.com
20202021
 
Coauthor
Edward Ayers
****@outlook.com
20202021
 
PhD Advisor
Jeremy Avigad
****@cmu.edu
20082013
 

Expertise

For each line, enter comma-separated keyphrases representing an intersection of your interests. Think of each line as a query for papers in which you would have expertise and interest. For example: deep learning, RNNs, dependency parsing

Theorem proving
2018Present
 
Machine learning for theorem proving
2018Present