Jesse Michael Han (Preferred)
Jesse Michael Han
University of Pittsburgh
- Joined September 2020
Names
Emails
****@gmail.com (Confirmed)
Personal Links
Education & Career History
PhD student
University of Pittsburgh (pitt.edu)
2018 – Present
Advisors, Relations & Conflicts
PhD Advisor
Thomas Hales
2018 – Present
Expertise
formal proofs
Present
graph neural networks
Present
reinforcement learning
Present
automated theorem proving
Present