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

H-index

i10-index

Publications

Co-authors

Contact

Publications

1 items

2025

Cited

Resume

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