March 6th FPTalks Community Meeting: Edoardo Manino on Floating-Point Neural Network Verification

[Ian Briggs]

Hi everyone!

Next Thursday, March 6th at 9:00-10:00 AM pacific time, we’ll have the next FPTalks Community Meeting on this Zoom: https://washington.zoom.us/j/92831331326

We’re super excited to welcome Edoardo Manino from The University of Manchester to present on Floating-Point Neural Network Verification.

        Safety-critical systems with neural network components require strong
        guarantees. While existing verification techniques have shown great
        progress towards this goal, they mostly reason on real-valued
        abstractions of neural networks. As soon as we consider their
        floating-point behaviour, the associated verification problem becomes
        harder. In this talk, we discuss a software verification approach to
        this problem. In doing so, we introduce NeuroCodeBench, a benchmark
        of neural network code for software verification. With it, we show
        the advantages and shortcomings of reasoning on neural networks at
        the floating-point level.

Looking forward to seeing everyone!

As a reminder, if you would like to give a talk or know of someone that would be great for an FPBench Community meeting, please have them fill out the speaker suggestion form!

FPTalks Discussion: https://fpbench.org/subscribe
Nominate a speaker: https://fpbench.org/nominate

See you there,

Ian

[Ian Briggs]