Jasper Lee
Scholar

Jasper Lee

Google Scholar ID: XzPXTGgAAAAJ
Computer Science PhD Student, University of Illinois Urbana-Champaign
machine learningformal methodsautomated theorem proving
Citations & Impact
All-time
Citations
80
 
H-index
3
 
i10-index
1
 
Publications
3
 
Co-authors
0
 
Resume (English only)
Education
  • 4th Year Undergraduate CS and Math Major at UT Austin (Turing Scholars Honors Program)
Background
  • Research interests lie at the intersection of machine learning and formal methods, including AI for math. Currently applying to graduate school programs.
Miscellany
  • Site powered by Jekyll & AcademicPages, a fork of Minimal Mistakes
Co-authors
0 total
Co-authors: 0 (list not available)