Jesse Michael Han

PhD student, University of Pittsburgh

  • Joined September 2020

Names

Jesse Michael Han (Preferred)

Emails

****@gmail.com (Confirmed)

Career & Education History

PhD student
University of Pittsburgh (pitt.edu)
2018Present
 

Advisors, Relations & Conflicts

PhD Advisor
Thomas Hales
2018Present
 

Expertise

formal proofs
Present
 
graph neural networks
Present
 
reinforcement learning
Present
 
automated theorem proving
Present
 

OpenReview is a long-term project to advance science through improved peer review with legal nonprofit status. We gratefully acknowledge the support of the OpenReview Sponsors. © 2025 OpenReview