Aman Goel
Scholar

Aman Goel

Google Scholar ID: iFCl5vEAAAAJ
Applied Scientist, Amazon Web Services
Generative AITrustworthy AIAutomated ReasoningDistributed Systems
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
400
 
H-index
9
 
i10-index
8
 
Publications
20
 
Co-authors
9
list available
Contact
No contact links provided.
Publications
3 items
A Neurosymbolic Approach to Natural Language Formalization and Verification
2025
Cited
0
Zero-knowledge LLM hallucination detection and mitigation through fine-grained cross-model consistency
2025
Cited
0
TurboFuzzLLM: Turbocharging Mutation-based Fuzzing for Effectively Jailbreaking Large Language Models in Practice
2025
Cited
0
Resume (English only)
Co-authors
9 total
Co-author 1
Co-author 1
Jean-Baptiste Jeannin
Jean-Baptiste Jeannin
University of Michigan
Co-author 3
Co-author 3
Manos Kapritsos
Manos Kapritsos
Associate Professor, University of Michigan
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8