Aman Goel — Neurosymbolic AI & Formal Verification
amangoel.ai
Personal site of Aman Goel, a Senior Applied Scientist at AWS, covering neurosymbolic AI, formal verification, and AI safety.
The site offers a focused look at how neurosymbolic methods are being applied to AI safety, including concrete work on guardrails inside Amazon Bedrock. Visitors with an interest in formal verification or the practical side of aligning large models will find papers, project notes, and a clear thread of ideas. It suits researchers and engineers who want to see how these abstract techniques become deployable safeguards.
Checked with Google Web Risk · 1 hour ago
- language
- EN
- here since
- August 2026