research
∙
05/06/2023
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification
Verification of machine learning models used in Natural Language Process...
share
research
∙
03/19/2023
Logic of Differentiable Logics: Towards a Uniform Semantics of DL
Differentiable logics (DL) have recently been proposed as a method of tr...
research
∙
07/14/2022
Differentiable Logics for Neural Network Training and Verification
The rising popularity of neural networks (NNs) in recent years and their...
research
∙
06/21/2022
Why Robust Natural Language Understanding is a Challenge
With the proliferation of Deep Machine Learning into real-life applicati...
research
∙
02/10/2022
Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers
Verification of neural networks is currently a hot topic in automated th...
research
∙
06/02/2021
Formally Verified Convergence of Policy-Rich DBF Routing Protocols
In this paper we present new general convergence results about the behav...
research
∙
05/24/2021
Actions You Can Handle: Dependent Types for AI Plans
Verification of AI is a challenge that has engineering, algorithmic and ...
research
∙
12/03/2020
