Nilay Patel

PhD student, Computer Science, University of California, Santa Cruz

  • Joined January 2022

Names

Nilay Patel (Preferred)

Emails

****@ucsc.edu (Confirmed)

Personal Links

Career & Education History

PhD student
Computer Science, University of California, Santa Cruz (ucsc.edu)
2022 – 2026
 
MS student
University of California, Santa Cruz (ucsc.edu)
2020 – 2021
 
Undergrad student
Florida State University (my.fsu.edu)
2016 – 2020
 

Advisors, Relations & Conflicts

Coauthor
2021 – Present
 

Expertise

Natural Language Processing
Present
 
Autoformalization
Present
 
Automated Theorem Proving
Present
 
Deep Learning
Present