8 citations · 10 across the 4 of their papers we have counts for
4 papers
Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective
Edoardo Manino, Julia Rozanova, Danilo Carvalho +2
Metamorphic testing has recently been used to check the safety of neural NLP models. Its main advantage is that it does not rely on a ground truth to generate test cases. However,…
Verifying Quantized Neural Networks using SMT-Based Model Checking
Luiz Sena, Xidan Song, Erickson Alves +4
Artificial Neural Networks (ANNs) are being deployed for an increasing number of safety-critical applications, including autonomous cars and medical diagnosis. However, concerns ab…
Zealotry and Influence Maximization in the Voter Model: When to Target Zealots?
Guillermo Romero Moreno, Edoardo Manino, Long Tran-Thanh +1
In this paper, we study influence maximization in the voter model in the presence of biased voters (or zealots) on complex networks. Under what conditions should an external contro…
Streaming Bayesian Inference for Crowdsourced Classification
Edoardo Manino, Long Tran-Thanh, Nicholas R. Jennings
A key challenge in crowdsourcing is inferring the ground truth from noisy and unreliable data. To do so, existing approaches rely on collecting redundant information from the crowd…