Overview
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.
Founders & team
Previously Signiture, Signiture Inc.
Ethan Kharitonov
Founder/CEOEthan is a founder of Axiomat (YC F26). Previously, he was an Applied Scientist at AWS researching formal methods and AI verification - the only employee in Amazon’s history to move from a software role into applied science within eight months of joining. He has published research in formal methods and left his PhD at Georgia Tech to build Axiomat. He holds a B.S. in Mathematics and Computer Science from the University of Toronto, where he also led research in functional analysis and topology.
Jack Naimer
Founder/COOJack is a founder of Axiomat (YC F26). Previously he was a Master's Research Scholar in AI at EPFL, where he led pretraining of a large-scale DNA foundation model for drug discovery and cellular engineering. Before that he built the first DNA reasoning model in Bo Wang's lab, and he led the development of a machine learning model for the Peter Munk Cardiac Centre. He holds a B.A.Sc. in Engineering Science, majoring in Machine Intelligence, from the University of Toronto.
Elad Perlman
Founder/CTOElad is a founder of Axiomat (YC F26). Previously, he worked as a full-stack engineer at Survalent, developing real-time control software for utilities. He holds a B.S. in Mathematics and Computer Science from the University of Toronto, where he graduated with high distinction.
Founded 2026 · Source ↗
Sources & observations
Y Combinator
Profile depthverified profile
Website observationwebsite reachable
Last website check2026-11-11
Location · source statedSan Francisco, CA, USA
Pricing evidenceNo pricing page confirmed
Maturity: Not assessed · 2 of 6 areas documented
Source-based assessment · automated evidence rules
The retained text does not establish product availability or customer use.
Maturity is an evidence-based assessment, not a success rating. It may understate the current stage where evidence is limited. Coverage records documented areas, not a complete or independently audited company history.
- Product overviewSource description Checked 2026-11-11
- Product visualsNot documented
- Founders & originsTeam information
- Business model & pricingNot documented
- Funding & ownershipNot documented
- Dated milestonesNot documented
Stage definitionsindependent websitesource corroborationreachable websitedescriptive evidencesourced peoplesourced founding year
