Popular repositories Loading

1. aidoart-IEEEAccess2023 aidoart-IEEEAccess2023 Public

   Code for the generation of the benchmarks used in the paper "Verifying Neural Networks with SMT Solvers: a Comparison."

   SMT

2. imoco4e-NTA imoco4e-NTA Public

   Code for the generation of the benchmarks used in the paper "Leveraging SMT for Verification of Neural Networks in the IMOCO4.E Project"

   SMT

3. imoco4e-pilot3-etfa2023 imoco4e-pilot3-etfa2023 Public

   Repository of the experimental setup for the paper "Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project"

   Python

4. aidoart-eScience2023 aidoart-eScience2023 Public

   SMT

5. imoco4e-eScience2023 imoco4e-eScience2023 Public

   Python

6. ICTAI2023-AIDOaRt ICTAI2023-AIDOaRt Public

   SMT