Edoardo Manino

According to our database, Edoardo Manino authored at least 28 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Montague semantics and modifier consistency measurement in neural language models.

Danilo Silva de Carvalho, Edoardo Manino, Julia Rozanova, Lucas C. Cordeiro, André Freitas

Proceedings of the 31st International Conference on Computational Linguistics, 2025

2024

Counterexample Guided Neural Network Quantization Refinement.

João Batista Pereira Matos Jr., Eddie B. de Lima Filho, Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2024

Was it Slander? Towards Exact Inversion of Generative Language Models.

Adrians Skapars, Edoardo Manino, Youcheng Sun, Lucas C. Cordeiro

CoRR, 2024

Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study.

Rafael Sá Menezes, Edoardo Manino, Fedor Shmarov, Mohannad Aldughaim, Rosiane de Freitas, Lucas C. Cordeiro

CoRR, 2024

Verifying components of Arm(R) Confidential Computing Architecture with ESBMC.

Tong Wu, Shale Xiong, Edoardo Manino, Gareth Stockwell, Lucas C. Cordeiro

CoRR, 2024

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

Yiannis Charalambous, Edoardo Manino, Lucas C. Cordeiro

CoRR, 2024

ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution).

Rafael Sá Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Brauße, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Towards global neural network abstractions with locally-exact reconstruction.

Edoardo Manino, Iury Bessa, Lucas C. Cordeiro

Neural Networks, August, 2023

NeuroCodeBench.

Edoardo Manino, Rafael Menezes, Fedor Shmarov, Lucas C. Cordeiro

Dataset, August, 2023

Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement.

Edoardo Manino, Bernardo Magri, Mustafa A. Mustafa, Lucas C. Cordeiro

Dataset, May, 2023

ESBMC v7.4: Harnessing the Power of Intervals.

Rafael Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Brauße, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro

CoRR, 2023

NeuroCodeBench: a plain C neural network benchmark for software verification.

Edoardo Manino, Rafael Sá Menezes, Fedor Shmarov, Lucas C. Cordeiro

CoRR, 2023

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

Tong Wu, Edoardo Manino, Fatimah Aljaafari, Pavlos Petoumenos, Lucas C. Cordeiro

CoRR, 2023

EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution).

Fatimah Aljaafari, Fedor Shmarov, Edoardo Manino, Rafael Menezes, Lucas C. Cordeiro

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement.

Edoardo Manino, Bernardo Magri, Mustafa A. Mustafa, Lucas C. Cordeiro

Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, 2023

2022

Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs.

Fatimah K. Aljaafari, Rafael Menezes, Edoardo Manino, Fedor Shmarov, Mustafa A. Mustafa, Lucas C. Cordeiro

IEEE Access, 2022

CEG4N: Counter-Example Guided Neural Network Quantization Refinement.

João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro

Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

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

Edoardo Manino, Julia Rozanova, Danilo S. Carvalho, André Freitas, Lucas C. Cordeiro

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2022, 2022

EnnCore: End-to-End Conceptual Guarding of Neural Architectures.

Edoardo Manino, Danilo S. Carvalho, Yi Dong, Julia Rozanova, Xidan Song, Mustafa A. Mustafa, André Freitas, Gavin Brown, Mikel Luján, Xiaowei Huang, Lucas C. Cordeiro

Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022

2021

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

Xidan Song, Edoardo Manino, Luiz H. Sena, Erickson H. da S. Alves, Eddie Batista de Lima Filho, Iury Bessa, Mikel Luján, Lucas C. Cordeiro

CoRR, 2021

Verifying Quantized Neural Networks using SMT-Based Model Checking.

Luiz H. Sena, Xidan Song, Erickson H. da S. Alves, Iury Bessa, Edoardo Manino, Lucas C. Cordeiro

CoRR, 2021

2020

On the efficiency of data collection and aggregation for the combination of multiple classifiers

Edoardo Manino

PhD thesis, 2020

Zealotry and Influence Maximization in the Voter Model: When to Target Zealots?

Guillermo Romero Moreno, Edoardo Manino, Long Tran-Thanh, Markus Brede

CoRR, 2020

2019

On the efficiency of data collection for multiple Naïve Bayes classifiers.

Edoardo Manino, Long Tran-Thanh, Nicholas R. Jennings

Artif. Intell., 2019

Streaming Bayesian Inference for Crowdsourced Classification.

Edoardo Manino, Long Tran-Thanh, Nicholas R. Jennings

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

2018

On the Efficiency of Data Collection for Crowdsourced Classification.

Edoardo Manino, Long Tran-Thanh, Nicholas R. Jennings

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

Designing Learning Algorithms over the Sequence Form of an Extensive-Form Game.

Edoardo Manino, Nicola Gatti, Marcello Restelli

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

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

Edoardo Manino, Long Tran-Thanh, Nicholas R. Jennings

CoRR, 2016