Tue 9/23, 4PM, Data Science Initiative Talk: Andrew Wu (Computer Science) - Logical Reasoning with a Touch of AI

5 views

Skip to first unread message

Val Gualdron

unread,

Sep 16, 2025, 4:06:49 PMSep 16

to Amherst College Data Science Initative Announcements

Hi All,

Please join us, on Tuesday 9/23 at 4pm in SCCE A131, for a talk part of the Data Science Initiative speaker series.

Speaker: Prof. Andrew Wu (Computer Science)

Title: Logical Reasoning with a Touch of AI

Abstract: Proving the correctness of computer programs is a long-standing challenge in Computer Science, as it requires not only rigorous logical deductions but also high-level understanding of the program structure. Existing automated logical reasoning tools excel at the former but struggle with the latter, leaving many practical problems beyond their reach. In this talk, I overview several research directions, developed over the past two years, that propose methodologies for leveraging the demonstrated code-understanding capability of large language models (LLMs) and combining them with logical reasoning tools for automated program verification. We then take a closer look at one of those methods, Lemur, which demonstrated practical improvements on a suite of synthetic and competition benchmarks.

Light fancy refreshments will be served before the talk.

Feel free to spread the word to faculty, staff, and students.

All our events are listed on: https://www.amherst.edu/about/science_at_amherst/data-science-initiative