Evan Lohn (Preferred)
Evan Lohn
- Joined May 2024
Names
Emails
****@andrew.cmu.edu (Confirmed)
, ****@gmail.com
Personal Links
Career & Education History
PhD student
Computer Science, CMU, Carnegie Mellon University (andrew.cmu.edu)
2021 – 2024
Undergrad student
Electrical Engineering and Computer Science, University of California, Berkeley (berkeley.edu)
2016 – 2020
Advisors, Relations & Conflicts
Expertise
neural theorem proving
2016 – Present