Sorin Lerner

Victoria A Perez, MD · Cornell Ann S. Bowers College of Computing and Information Science · Cornell University

Quick answer: Sorin Lerner is Victoria A Perez, MD at Cornell University. Sorin Lerner shows an active PhD hiring signal as of 2026-09-11.

⭐ I am always looking for great PhD students and post-docs!

Research interests

Artificial Intelligence (AI), Machine Learning

Selected publications (since 2023)

[2025] Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification (ICSE 2025, Distinguished Paper Award) [2025] How Scientists Use Jupyter Notebooks: Goals, Quality Attributes, and Opportunities (ICSE 2025) [2024] Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving (ACL Main 2024) [2024] Unfold: Enabling Live Programming for Debugging GUI Applications. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2024). [2024] Validating AI-Generated Code with Live Programming. Conference on Human Factors in Computing Systems (CHI 2024) [2024] CoqPyt: Proof Navigation in the Era of LLMs. International Conference on the Foundations of Software Engineering (FSE 2024)

Faculty homepage More professors at Cornell University

Frequently asked questions

Is Sorin Lerner hiring PhD students at Cornell University?

Yes. As of 2026-09-11, Sorin Lerner's faculty page shows a PhD hiring signal: I am always looking for great PhD students and post-docs!.

What does Sorin Lerner research?

Artificial Intelligence (AI), Machine Learning

Data last updated: 2026-09-11 · Source: phd-match.com faculty database.

Is Sorin Lerner a match for your research?

Upload your CV and get matched to professors who fit — with hiring signals.

Start matching