Startupsby GlyphWhy it ranks
How the rank works- went through YCProgram · this site+4
- team of 3Team size · YC's directory+3.1
A sum of public facts, not a judgement and not investment advice.
Also from F26 in AI
All of F26About Axiomat
Axiomat makes it impossible for AI agents to make mistakes when querying a company’s data. It formally verifies that the agents’ queries are correct before employees or customers rely on the answers. It is becoming increasingly important for companies to rely on AI without the need for humans to manually check the answers. This has created a need for systems which can guarantee correctness without limiting the agent’s capabilities. Axiomat provides the infrastructure to prove that answers are correct, starting with data queries and analysis. It brings mathematical guarantees to the agents working with your data. The team brings direct experience solving AI hallucinations through Ethan’s work as an Applied Scientist at AWS, where he worked on formally verifying AI responses. They also bring research experience in AI, LLMs, and formal methods from EPFL, the University of Toronto, and Georgia Tech.
- YC batch
- F26 · Fall 2026
- Status, per YC
- Active
- Category
- AI, Data
- Team size
- 3
- Location
- San Francisco, CA, USA
- Checked
- 6h ago
Changes seen
Joined Y Combinator's Fall 2026 batch (F26).
Axiomat: questions
Which YC batch was Axiomat in?
Axiomat was in Y Combinator's Fall 2026 batch (F26).
Is Axiomat still active?
Y Combinator lists Axiomat as active.
Where is Axiomat based?
Axiomat lists San Francisco, CA, USA as its location on YC's directory.