Work

Accelerating the Static Analysis of Neural Networks by Batch Representation of Abstract Values

Year: 2025

Type: conference-paper

DOI: 10.1145/3736112.3736142

Authors: Guillaume Berthelot, Arnault Ioualalen, Matthieu Martel

Institution: Université de Perpignan

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4411259648

FWCI:

Cites: 7

Cited by:

Related to: 10