Baidu
map

First three years of the international verification of neural networks competition (VNN-COMP)

Brix, C; Müller, MN; Bak, S; Johnson, TT; Liu, CL

Brix, C (通讯作者),Rhein Westfal TH Aachen, Aachen, Germany.

INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2023; 25 (3): 329

Abstract

This paper presents a summary and meta-analysis of the first three iterations of the annual International Verification of Neural Networks Competition ......

Full Text Link


Baidu
map
Baidu
map
Baidu
map