Conference: FoMLAS2022 (5th Workshop on Formal Methods for ML-Enabled Autonomous Systems)

Conference: FoMLAS2022 (5th Workshop on Formal Methods for ML-Enabled Autonomous Systems)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Vehicle: a High-Level Language for Embedding Logical Specifications in Neural Networks

Vehicle: a High-Level Language for Embedding Logical Specifications in Neural Networks

Matthew Daggitt, Wen Kokke, Robert Atkey, Luca Arnaboldi and Ekaterina Komendantskaya

Why Robust Natural Language Understanding Is a Challenge

Why Robust Natural Language Understanding Is a Challenge

Marco Casadio, Ekaterina Komendantskaya, Verena Rieser, Matthew Daggitt, Daniel Kienitz, Luca Arnaboldi and Wen Kokke

Self-Correcting Neural Networks for Safe Classification

Self-Correcting Neural Networks for Safe Classification

Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno and Corina Pasareanu

A Cascade of Checkers for Run-Time Certification of Local Robustness

A Cascade of Checkers for Run-Time Certification of Local Robustness

Ravi Mangal and Corina Pasareanu

CEG4N: Counter-Example Guided Neural Network Quantization Refinement

CEG4N: Counter-Example Guided Neural Network Quantization Refinement

João Batista Pereira Matos Júnior, Iury Bessa, Xidan Song, Edoardo Manino and Lucas C. Cordeiro

VPN: Verification of Poisoning in Neural Networks

VPN: Verification of Poisoning in Neural Networks

Youcheng Sun, Muhammad Usman, Divya Gopinath and Corina Păsăreanu

Formal Specification for Learning-Enabled Autonomous Systems (Extended Abstract)

Formal Specification for Learning-Enabled Autonomous Systems (Extended Abstract)

Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic and Doron Peled

Presentations in this collection: 7