FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

This page contains an index consisting of author-provided keywords.

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

Disclaimer | Powered by EasyChair Smart Program