Matthew Sottile
Scholar

Matthew Sottile

Google Scholar ID: q6Z0FZMAAAAJ
Lawrence Livermore National Laboratory
High performance computingperformance analysisprogramming languagesprogram synthesisagent based modeling
Google Scholar↗
Citations & Impact
All-time
Citations
1,426
 
H-index
19
 
i10-index
27
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
2 items
From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier
2026
Cited
0
Towards Richer Challenge Problems for Scientific Computing Correctness
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)