BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.com//juliacon-2022//speaker//M9YY8S
BEGIN:VEVENT
UID:pretalx-juliacon-2022-TSN8ZR@pretalx.com
DTSTART:20220727T200000Z
DTEND:20220727T201000Z
DESCRIPTION:Deep learning using neural networks is increasingly popular\, b
 ut neural networks come with few built-in guarantees of correctness. This 
 talk will discuss how I use JuMP to compute verified upper bounds on the e
 rror of a neural network trained as an inverse model. Using JuMP together 
 with Distributed.jl allows me to run a large number of verification querie
 s in parallel with minimal time spent on non-research development.
DTSTAMP:20260616T030357Z
LOCATION:JuMP
SUMMARY:Verifying Inverse Model Neural Networks Using JuMP - Chelsea Sidran
 e
URL:https://pretalx.com/juliacon-2022/talk/TSN8ZR/
END:VEVENT
END:VCALENDAR