Scholar
Patricio Gallardo
Google Scholar ID: XQYzqfsAAAAJ
University of California, Riverside
algebraic geometry
singularity theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
183
H-index
9
i10-index
9
Publications
20
Co-authors
0
Publications
1 items
Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis
2026
Cited
0
