Austin Letson (Preferred)
Austin Letson
Researcher, Formal Methods, Axiomatic AI
Joined
January 2026
Names
Emails
****@axiomatic-ai.com (Confirmed)
****@gmail.com (Confirmed)
Personal Links
Career & Education History
Researcher
Formal Methods, Axiomatic AI (axiomatic-ai.com)
2025 – Present
Undergrad student
Computer Science, Georgia Institute of Technology (gatech.edu)
2016 – 2019
Advisors, Relations & Conflicts
Expertise
Formal Methods
2024 – 2026
AI for Math
2024 – 2026
Publications
No publications