FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

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

Disclaimer | Powered by EasyChair Smart Program