FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

A
Abstract Interpretation	Scalable Verification of GNN-based Job Schedulers (, talk)
Abstraction	An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks (, talk)
Abstraction-Refinement	An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks (, talk)
Adversarial Attacks	Verification-Aided Deep Ensemble Selection (, talk)
Agda	Vehicle: A High-Level Language for Embedding Logical Specifications in Neural Networks (, talk)
AI Certification	RoMA: a Method for Neural Network Robustness Measurement and Assessment (, talk)
automated driving	Goal-Aware RSS for Complex Scenarios via Program Logic (, talk)
Automated reasoning	Neural Networks in Imandra: Matrix Representation as a Verification Choice (, talk)
C
Categorial Robustness	RoMA: a Method for Neural Network Robustness Measurement and Assessment (, talk)
Convolutional Neural Networks	An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks (, talk)
Convolutional Neural Networks Verification	An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks (, talk)
D
deep learning	Verification-Aided Deep Ensemble Selection (, talk)
Deep Neural Network Verification	An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks (, talk)
Deep Neural Networks	Verification-Aided Deep Ensemble Selection (, talk) An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks (, talk)
Differentiable Logic	Differentiable Logics for Neural Network Training and Verification (, talk)
differential dynamic logic	Goal-Aware RSS for Complex Scenarios via Program Logic (, talk)
E
Ensembles	Verification-Aided Deep Ensemble Selection (, talk)
Equivalence Verification	CEG4N: Counter-Example Guided Neural Network Quantization Refinement (, talk)
F
First-order LTL	Formal Specification for Learning-Enabled Autonomous Systems (, talk)
Formal specification	Formal Specification for Learning-Enabled Autonomous Systems (, talk)
formal verification	VPN: Verification of Poisoning in Neural Networks (, talk) An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks (, talk) Neural Network Verification with Proof Production (, talk) Neural Networks in Imandra: Matrix Representation as a Verification Choice (, talk) Goal-Aware RSS for Complex Scenarios via Program Logic (, talk)
functional programming	Neural Networks in Imandra: Matrix Representation as a Verification Choice (, talk)
G
Graph Neural Networks	Scalable Verification of GNN-based Job Schedulers (, talk)
I
Imandra	Neural Networks in Imandra: Matrix Representation as a Verification Choice (, talk)
L
Learning-enabled systems	Formal Specification for Learning-Enabled Autonomous Systems (, talk)
Local robustness	A Cascade of Checkers for Run-time Certification of Local Robustness (, talk)
Loss Functions	Differentiable Logics for Neural Network Training and Verification (, talk)
M
machine learning	Self-Correcting Neural Networks For Safe Classification (, talk)
Marabou	Vehicle: A High-Level Language for Embedding Logical Specifications in Neural Networks (, talk)
Minimal Modification	Minimal Multi-Layer Modifications of Deep Neural Networks (, talk)
Multi-Layer Modification	Minimal Multi-Layer Modifications of Deep Neural Networks (, talk)
N
Natural Language Understanding	Why Robust Natural Language Understanding is a Challenge (, talk)
Neural network	Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations (, talk)
Neural Network Compression	CEG4N: Counter-Example Guided Neural Network Quantization Refinement (, talk)
Neural Network Equivalence	CEG4N: Counter-Example Guided Neural Network Quantization Refinement (, talk)
Neural Network Modification	Minimal Multi-Layer Modifications of Deep Neural Networks (, talk)
Neural Network Verification	Scalable Verification of GNN-based Job Schedulers (, talk) An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks (, talk)
Neural Networks	VPN: Verification of Poisoning in Neural Networks (, talk) A Cascade of Checkers for Run-time Certification of Local Robustness (, talk) Verification-Aided Deep Ensemble Selection (, talk) An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks (, talk) Vehicle: A High-Level Language for Embedding Logical Specifications in Neural Networks (, talk) Neural Network Verification with Proof Production (, talk) Differentiable Logics for Neural Network Training and Verification (, talk) Neural Networks in Imandra: Matrix Representation as a Verification Choice (, talk) Self-Correcting Neural Networks For Safe Classification (, talk) Formal Specification for Learning-Enabled Autonomous Systems (, talk)
P
Poisoning attacks	VPN: Verification of Poisoning in Neural Networks (, talk)
Proof Production	Neural Network Verification with Proof Production (, talk)
R
Repair of Neural Networks	Minimal Multi-Layer Modifications of Deep Neural Networks (, talk)
Robust Compression	CEG4N: Counter-Example Guided Neural Network Quantization Refinement (, talk)
Robustness	RoMA: a Method for Neural Network Robustness Measurement and Assessment (, talk) Verification-Aided Deep Ensemble Selection (, talk)
RSS	Goal-Aware RSS for Complex Scenarios via Program Logic (, talk)
Run-time checks	A Cascade of Checkers for Run-time Certification of Local Robustness (, talk)
Run-time enforcement	Self-Correcting Neural Networks For Safe Classification (, talk)
S
Safety	Self-Correcting Neural Networks For Safe Classification (, talk) Goal-Aware RSS for Complex Scenarios via Program Logic (, talk)
Schedulers	Scalable Verification of GNN-based Job Schedulers (, talk)
Semidefinite programming	Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations (, talk)
Sentence Embeddings	Why Robust Natural Language Understanding is a Challenge (, talk)
T
theorem proving	Goal-Aware RSS for Complex Scenarios via Program Logic (, talk)
V
Verification	Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations (, talk) 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) Self-Correcting Neural Networks For Safe Classification (, talk)

Disclaimer | Powered by EasyChair Smart Program