BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Early Career Scientist Seminar: Marco David\, UC Berkeley
DTSTART:20261006T180000Z
DTEND:20261006T190000Z
DTSTAMP:20261011T185400Z
UID:indico-event-957@indico.wlab.yale.edu
DESCRIPTION:Abstract: Machine-checked proofs are fast becoming the gold st
 andard in mathematics\, with interactive theorem provers like Lean powerin
 g everything from DeepMind's IMO medal to OpenAI's Navier–Stokes formali
 zation—yet quantum theory remains largely untouched by these tools. In t
 his talk\, Marco David presents joint work with Jens Palsberg on a curated
  benchmark of 100 quantum theorems designed to gamify the formal verificat
 ion of quantum theory and quantum computing.\n\nhttps://indico.wlab.yale.e
 du/event/957/
LOCATION:WLE 102 (Wright Laboratory)
URL:https://indico.wlab.yale.edu/event/957/
END:VEVENT
END:VCALENDAR