Scholar
Álvaro Silva
Google Scholar ID: 24BoIRsAAAAJ
Ph.d candidate, Universidade do Porto
Verificação formal
Dafny
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
16
H-index
1
i10-index
1
Publications
2
Co-authors
2
list available
Contact
No contact links provided.
Publications
2 items
Inferring multiple helper Dafny assertions with LLMs
2025
Cited
0
Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
2025
Cited
0
Resume (English only)
Co-authors
2 total
Alexandra Mendes
Faculty of Engineering, University of Porto and HASLab, INESC TEC
João F. Ferreira
Instituto Superior Técnico (Univ. Lisboa) & INESC-ID
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up