Edoardo Manino
Scholar

Edoardo Manino

Google Scholar ID: pzCa2LQAAAAJ
University of Manchester
Google Scholar↗
Citations & Impact
All-time
Citations
199
 
H-index
9
 
i10-index
9
 
Publications
20
 
Co-authors
14
list available
Contact
No contact links provided.
Publications
4 items
The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
2025
Cited
0
Floating-Point Neural Network Verification at the Software Level
2025
Cited
0
GPT, But Backwards: Exactly Inverting Language Model Outputs
2025
Cited
0
Neural Network Verification is a Programming Language Challenge
2025
Cited
0
Resume (English only)
Co-authors
14 total
Lucas C. Cordeiro
Lucas C. Cordeiro
Professor of Computer Science, University of Manchester
Long Tran-Thanh
Long Tran-Thanh
Professor in Computer Science, University of Warwick
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Nick Jennings
Nick Jennings
Vice-Chancellor and President, Loughborough University
Julia Rozanova
Julia Rozanova
University of Manchester
André Freitas
André Freitas
University of Manchester | Idiap Research Institute
Co-author 8
Co-author 8