Scholar
Luis Lamb
Google Scholar ID: Fm5jLHUAAAAJ
Catholic Institute of Technology
Neurosymbolic AI
Innovation Strategy
Ethics in AI
Digital Transformation
Applied Logic
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
4,113
H-index
20
i10-index
30
Publications
20
Co-authors
43
list available
Contact
CV
Open ↗
LinkedIn
Open ↗
Publications
1 items
UnitTenX: Generating Tests for Legacy Packages with AI Agents Powered by Formal Verification
2025
Cited
0
Co-authors
9 total
Artur d'Avila Garcez
Professor of Computer Science. City, University of London
Tarek R. Besold
Sony AI
Pascal Hitzler
University Distinguished Professor, Lloyd T. Smith Creativity in Eng. Chair, Kansas State University
Marco Gori
Professor of Computer Science, University of Siena
Moshe Y. Vardi
Rice University
Anderson Rocha Tavares
Universidade Federal do Rio Grande do Sul
Luigi Carro
Full Professor, Instituto de Informatica
Hoifung Poon
General Manager, Microsoft Health Futures
