Scholar
Aman Goel
Google Scholar ID: iFCl5vEAAAAJ
Applied Scientist, Amazon Web Services
Generative AI
Trustworthy AI
Automated Reasoning
Distributed Systems
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
400
H-index
9
i10-index
8
Publications
20
Co-authors
9
list available
Publications
5 items
Instruct, Not Answer: Using Instruction Privileges in On-Policy Context Distillation
2026
Cited
0
Beyond Solver Verdicts: Generative Reward Models for Autoformalization
2026
Cited
0
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
Co-authors
3 total
Jean-Baptiste Jeannin
University of Michigan
Manos Kapritsos
Associate Professor, University of Michigan
Igor Konnov
Independent Security and Formal Methods Researcher
