Scholar
Santiago Franco
Google Scholar ID: lX6kGsYAAAAJ
Lecturer, Royal Holloway University of London (RHUL)
Heuristic Search
Automated Planning
Artificial Intelligence
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
306
H-index
10
i10-index
12
Publications
20
Co-authors
7
list available
Publications
1 items
Towards a Common Framework for Autoformalization
2025
Cited
0
Co-authors
4 total
Michael W Barley
University of Auckland
Patricia J Riddle
University of Auckland
T.L. McCluskey
Professor of Software Technology, University of Huddersfield
Mauro Vallati
Full Professor, University of Huddersfield
