FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

A
Amir, Guy	Verification-Aided Deep Ensemble Selection
Arnaboldi, Luca	Why Robust Natural Language Understanding is a Challenge Vehicle: A High-Level Language for Embedding Logical Specifications in Neural Networks
Atkey, Robert	Vehicle: A High-Level Language for Embedding Logical Specifications in Neural Networks
B
Barrett, Clark	Scalable Verification of GNN-based Job Schedulers An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks Neural Network Verification with Proof Production
Bensalem, Saddek	Formal Specification for Learning-Enabled Autonomous Systems (Extended Abstract)
Bessa, Iury	Counter-Example Guided Neural Network Compression Refinement (CEG4N)
Brix, Christopher	VNN-COMP 2022
C
Casadio, Marco	Why Robust Natural Language Understanding is a Challenge
Cheng, Chih-Hong	Formal Specification for Learning-Enabled Autonomous Systems (Extended Abstract)
Cordeiro, Lucas C.	Counter-Example Guided Neural Network Compression Refinement (CEG4N)
D
Daggitt, Matthew	Why Robust Natural Language Understanding is a Challenge Differentiable Logics for Neural Network Verification
Daggitt, Matthew	Vehicle: A High-Level Language for Embedding Logical Specifications in Neural Networks
Desmartin, Remi	Neural Networks in Imandra: Matrix Representation as a Verification Choice
F
Fredrikson, Matt	Self-Correcting Neural Networks For Safe Classification
Fromherz, Aymeric	Self-Correcting Neural Networks For Safe Classification
G
Gopinath, Divya	VPN: Verification of Poisoning in Neural Networks
H
Hasuo, Ichiro	Goal-Aware RSS for Complex Scenarios via Program Logic
Huang, Xiaowei	Formal Specification for Learning-Enabled Autonomous Systems (Extended Abstract)
I
Isac, Omri	Neural Network Verification with Proof Production
J
Jana, Suman	Efficient Neural Network Verification using Branch and Bound
K
Katsaros, Panagiotis	Formal Specification for Learning-Enabled Autonomous Systems (Extended Abstract)
Katz, Guy	An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks Verification-Aided Deep Ensemble Selection RoMA: a Method for Neural Network Robustness Measurement and Assessment Neural Network Verification with Proof Production Minimal Multi-Layer Modifications of Deep Neural Networks
Kienitz, Daniel	Why Robust Natural Language Understanding is a Challenge
Kokke, Wen	Why Robust Natural Language Understanding is a Challenge Vehicle: A High-Level Language for Embedding Logical Specifications in Neural Networks
Komendantskaya, Ekaterina	Why Robust Natural Language Understanding is a Challenge Neural Networks in Imandra: Matrix Representation as a Verification Choice Vehicle: A High-Level Language for Embedding Logical Specifications in Neural Networks Differentiable Logics for Neural Network Verification
L
Lan, Jianglin	Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations
Leino, Klas	Self-Correcting Neural Networks For Safe Classification
Levy, Natan	RoMA: a Method for Neural Network Robustness Measurement and Assessment
Lomuscio, Alessio	Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations
M
Mangal, Ravi	A Cascade of Checkers for Run-time Certification of Local Robustness Self-Correcting Neural Networks For Safe Classification
Manino, Edoardo	Counter-Example Guided Neural Network Compression Refinement (CEG4N)
Molin, Adam	Formal Specification for Learning-Enabled Autonomous Systems (Extended Abstract)
Müller, Mark	VNN-COMP 2022
N
Narodytska, Nina	Scalable Verification of GNN-based Job Schedulers
Nickovic, Dejan	Formal Specification for Learning-Enabled Autonomous Systems (Extended Abstract)
O
Ostrovsky, Matan	An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks
P
Parno, Bryan	Self-Correcting Neural Networks For Safe Classification
Passmore, Grant	Neural Networks in Imandra: Matrix Representation as a Verification Choice
Peled, Doron	Formal Specification for Learning-Enabled Autonomous Systems (Extended Abstract)
Pereira Matos Júnior, João Batista	Counter-Example Guided Neural Network Compression Refinement (CEG4N)
Păsăreanu, Corina	VPN: Verification of Poisoning in Neural Networks A Cascade of Checkers for Run-time Certification of Local Robustness Self-Correcting Neural Networks For Safe Classification
R
Refaeli, Idan	Minimal Multi-Layer Modifications of Deep Neural Networks
Rieser, Verena	Why Robust Natural Language Understanding is a Challenge
S
Schapira, Michael	Verification-Aided Deep Ensemble Selection
Sharif, Mahmood	Scalable Verification of GNN-based Job Schedulers
Singh, Gagandeep	Scalable Verification of GNN-based Job Schedulers
Song, Xidan	Counter-Example Guided Neural Network Compression Refinement (CEG4N)
Stewart, Robert	Differentiable Logics for Neural Network Verification
Sun, Youcheng	VPN: Verification of Poisoning in Neural Networks
U
Usman, Muhammad	VPN: Verification of Poisoning in Neural Networks
W
Wu, Haoze	Scalable Verification of GNN-based Job Schedulers
Z
Zelazny, Tom	Verification-Aided Deep Ensemble Selection
Zhang, Min	Neural Network Verification with Proof Production
Zheng, Yang	Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations
Ś
Ślusarz, Natalia	Differentiable Logics for Neural Network Verification

Disclaimer | Powered by EasyChair Smart Program