Picture for Edoardo Manino

Edoardo Manino

Automated Repair of AI Code with Large Language Models and Formal Verification

Add code
May 14, 2024
Viaarxiv icon

NeuroCodeBench: a plain C neural network benchmark for software verification

Add code
Sep 07, 2023
Viaarxiv icon

LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution)

Add code
Jan 22, 2023
Viaarxiv icon

CEG4N: Counter-Example Guided Neural Network Quantization Refinement

Add code
Jul 09, 2022
Figure 1 for CEG4N: Counter-Example Guided Neural Network Quantization Refinement
Figure 2 for CEG4N: Counter-Example Guided Neural Network Quantization Refinement
Figure 3 for CEG4N: Counter-Example Guided Neural Network Quantization Refinement
Figure 4 for CEG4N: Counter-Example Guided Neural Network Quantization Refinement
Viaarxiv icon

Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective

Add code
Apr 26, 2022
Figure 1 for Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective
Figure 2 for Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective
Figure 3 for Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective
Figure 4 for Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective
Viaarxiv icon

QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking

Add code
Nov 25, 2021
Figure 1 for QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking
Figure 2 for QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking
Figure 3 for QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking
Figure 4 for QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking
Viaarxiv icon

Verifying Quantized Neural Networks using SMT-Based Model Checking

Add code
Jun 10, 2021
Figure 1 for Verifying Quantized Neural Networks using SMT-Based Model Checking
Figure 2 for Verifying Quantized Neural Networks using SMT-Based Model Checking
Figure 3 for Verifying Quantized Neural Networks using SMT-Based Model Checking
Figure 4 for Verifying Quantized Neural Networks using SMT-Based Model Checking
Viaarxiv icon

Streaming Bayesian Inference for Crowdsourced Classification

Add code
Nov 13, 2019
Figure 1 for Streaming Bayesian Inference for Crowdsourced Classification
Figure 2 for Streaming Bayesian Inference for Crowdsourced Classification
Figure 3 for Streaming Bayesian Inference for Crowdsourced Classification
Figure 4 for Streaming Bayesian Inference for Crowdsourced Classification
Viaarxiv icon

Efficiency of active learning for the allocation of workers on crowdsourced classification tasks

Add code
Oct 19, 2016
Figure 1 for Efficiency of active learning for the allocation of workers on crowdsourced classification tasks
Figure 2 for Efficiency of active learning for the allocation of workers on crowdsourced classification tasks
Figure 3 for Efficiency of active learning for the allocation of workers on crowdsourced classification tasks
Figure 4 for Efficiency of active learning for the allocation of workers on crowdsourced classification tasks
Viaarxiv icon