Events

Faculty Candidate Talk Machine Learning for Formal Software Verification
Export Event Save iCal Send to Google Calendar Send to Yahoo Calendar Send to Outlook Live Send to Microsoft Outlook Save iCal Preserve formatting in description (only supported in some calendar applications) Close Tuesday, March 11, 2025, 10:30am - 12:00pm

Speaker: Emily First

Bio

Emily First is a postdoctoral researcher at UC San Diego working with Professor Sorin Lerner. She previously completed her PhD at UMass Amherst, where she was awarded the UMass CICS Outstanding Dissertation Award. Her research is at the intersection of software engineering, programming languages, and machine learning. She focuses on creating tools to automatically generate proofs of software correctness. Her work has also received two distinguished paper awards.

Location : CoRE 301

Committee: 

Event Type: Faculty Candidate Talk

Abstract: Formal verification using proof assistants is an effective way of improving software quality, but is expensive. Recent work has seen a wave of neural theorem provers, which use neural models to predict proofs and perform proof search to traverse the space of possible proofs. This talk presents my work on building proof search approaches for LLMs, focusing on what inputs LLMs need and how to better guide their search. I'll conclude my talk with a vision of how LLM-based proof search and, more broadly, the formal software verification pipeline can benefit from human-AI collaboration.

Organization: 

Contact  Professor David Pennock

Join Zoom Meeting
https://rutgers.zoom.us/j/2014444359?pwd=WW9ybFNCNVFrUWlycHowSHdNZjhzUT09

Meeting ID: 201 444 4359
Password: 550978