Scholar
Edoardo Manino
Google Scholar ID: pzCa2LQAAAAJ
University of Manchester
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
210
H-index
10
i10-index
10
Publications
20
Co-authors
14
list available
Publications
7 items
BLOOM-WILT: Logit Tilting for Behaviour Elicitation in Automated LLM Auditing
2026
Cited
0
Normalisation-Based Likelihood Ratio Estimation for Forensic Authorship Verification
2026
Cited
0
Encrypted Neural Networks without Overflows
2026
Cited
0
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
Co-authors
10 total
Lucas C. Cordeiro
Professor of Computer Science, University of Manchester
Long Tran-Thanh
Professor in Computer Science, University of Warwick
Xidan Song
PhD student in computer science, University of Manchester
Nick Jennings
Vice-Chancellor and President, Loughborough University
Julia Rozanova
University of Manchester
André Freitas
University of Manchester | Idiap Research Institute
Alex Serb
Reader, University of Edinburgh
Themis Prodromakis
Regius Chair of Engineering, Centre for Electronics Frontiers, University of Edinburgh
