BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Penn Engineering Events - ECPv6.16.3//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Penn Engineering Events
X-ORIGINAL-URL:https://seasevents.nmsdev7.com
X-WR-CALDESC:Events for Penn Engineering Events
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20250309T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20251102T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20260308T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20261101T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20270314T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20271107T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20260114T120000
DTEND;TZID=America/New_York:20260114T131500
DTSTAMP:20260601T170112
CREATED:20251216T193828Z
LAST-MODIFIED:20251216T193828Z
UID:15324-1768392000-1768396500@seasevents.nmsdev7.com
SUMMARY:ASSET Seminar: "Formal Methods for Language Model Systems"
DESCRIPTION:Formal methods are often dismissed as too rigid\, complex\, or unscalable for frontier language model systems (e.g.\, LLMs\, VLMs\, agentic systems). In this talk\, I will challenge this assumption with both theoretical insights and empirical evidence across various domains\, including chatbots\, autonomous driving\, mathematical reasoning\, code generation\, and agentic AI.\n\nI will present a new set of efficient formal frameworks for LLMs that:\n\nSpecify and verify safety properties (e.g.\, secure code generation\, catastrophic risk)\, yielding stronger guarantees than standard evaluation methods such as benchmarks or red teaming.\nGuide generation with semantic guardrails\, ensuring outputs respect formal constraints\, substantially improving both reasoning performance and safety.\nTrain models that are more performant and safer\, and synthesize agents that provably adhere to formally specified constraints (e.g.\, privacy\, resource consumption).\n\nTogether\, these advances demonstrate that formal methods provide a principled foundation for improving the utility\, safety\, and efficiency of frontier language model systems. \n  \n  \nZoom: https://upenn.zoom.us/j/98203000874
URL:https://seasevents.nmsdev7.com/event/asset-seminar-title-tbd-21/
LOCATION:Amy Gutmann Hall\, Room 414\, 3333 Chestnut Street\, Philadelphia\, 19104\, United States
CATEGORIES:Seminar
ORGANIZER;CN="AI-enabled Systems%3A Safe%2C Explainable%2C and Trustworthy (ASSET) Center":MAILTO:asset-info@seas.upenn.edu
END:VEVENT
END:VCALENDAR