Scholar
Antonio Valerio Miceli Barone
Google Scholar ID: VXdL2a0AAAAJ
the University of Edinburgh
Machine learning
natural language processing
artificial intelligence
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,145
H-index
15
i10-index
18
Publications
20
Co-authors
46
list available
Publications
1 items
Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification
2026
Cited
0
Co-authors
10 total
Alexandra Birch
University of Edinburgh
Barry Haddow
University of Edinburgh
Rachel Bawden
Inria
Anna Currey
Amazon Web Services
Sheila Castilho
SALIS/ADAPT Centre - Dublin City University
Joss Moorkens
Associate Professor, Dublin City University
Orhan Firat
Google AI
Samuel Läubli
Supertext
