Hupyy is building the world's first decision engine that doesn't guess. Hupyy replace probability with mathematical proof.
Hupyy started like many teams in today’s AI world - chasing accuracy with bigger models and better prompts. It worked, until it didn’t. When the stakes are high, “probably right” isn’t good enough. Leaders don’t need more output. They need certainty.

That’s why Hupyy took a harder path. Hupyy pivoted away from guesswork and toward proof. Hupyy chose formal verification-methods that produce answers you can audit, repeat, and trust. Not as a marketing line, but as the foundation of our product.

Hupyy's journey accelerated through collaboration with Stanford’s Center for Automated Reasoning. Working alongside researchers who helped shape the tools of modern verification, Hupyy rebuilt their core around machine-checkable evidence. Every result our engine returns comes with a reason you can examine.

Hupyy reflects that philosophy. No flourish. No theatrics. Just the work: a simple statement, a clear promise, and a real artifact of proof.

This is not just Hupyy's foundation; it is the future of intelligence.

Hupyy

Eitan Nahmias

Alexander Fedin

Elizabeth Nahmias

This department oversees the strategic direction and overall management of the organization.

Hupyy

Org chart

Teams

Executive Leadership

Offices

Hupyy

Org chart

Teams

Executive Leadership

Offices

Related companies