BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.com//juliacon-2026//talk//RN8YTY
BEGIN:VTIMEZONE
TZID:CET
BEGIN:STANDARD
DTSTART:20001029T040000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000326T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-juliacon-2026-RN8YTY@pretalx.com
DTSTART;TZID=CET:20260814T123000
DTEND;TZID=CET:20260814T124500
DESCRIPTION:The explosion in the number of submitted quantum physics papers
  is placing the scientific publication system under extreme stress. In an 
 effort to address this challenge\, I have been experimenting with end-to-e
 nd pipelines for the automated numerical verification of claims in quantum
  physics papers. Given an arXiv preprint\, LLM coding agents extract mathe
 matical assertions into a structured knowledge graph\, then generate Julia
  code to numerically check each claim. I will demonstrate this pipeline ac
 ross three domains: topologically ordered many-body quantum systems (using
 \, e.g.\, TensorCategories.jl)\, quantum information theory\, and quantum 
 optics (using QuantumOptics.jl). In practice\, this system routinely catch
 es small sign errors and gaps in every paper I have studied. LLM coding ag
 ents enable automation of workflows that previously would have involved mu
 ch yak shaving and frustration. As a consequence\, time-poor persons with 
 little software engineering expertise (such as myself!) can now employ the
  amazing cutting-edge tools the Julia community have developed. I will dir
 ectly address practical challenges including LLM hallucinations in mathema
 tical reasoning\, ensuring correctness of generated code\, and the gap bet
 ween symbolic assertions and finite-dimensional numerics.
DTSTAMP:20260502T114916Z
LOCATION:Room 3
SUMMARY:Automated numerical verification of quantum physics papers using Ju
 lia and LLM agents - Tobias J. Osborne
URL:https://pretalx.com/juliacon-2026/talk/RN8YTY/
END:VEVENT
END:VCALENDAR