We build software that reasons, not software that guesses.

Noesis: AI you can put under contract.

A neurosymbolic runtime that answers only what it can prove from a governed memory, cites every premise, quarantines what it merely believes — and says so, out loud, when it doesn't know.

No black boxes: every answer is proven, cited, a labeled belief, or a loud abstention — never a guess dressed as a fact.

0
false proofs across 100K synthetic patients and 3.1M derivations — a scoped, gated result held as a standing regression check.
18
reasoners, one provability contract — abstention is first-class; a heuristic is never laundered into a proof.
JNC-8
proven-equivalent to hand-coded guideline logic on the tested patient grid — proven, not asserted.

Every answer wears its mode. Here is one in Proven — open it and check the chain yourself.

Does fluconazole interact with warfarin?
Proven

Yes — fluconazole inhibits CYP2C9, the enzyme that clears warfarin, so warfarin exposure rises and bleeding risk increases. Every step below cites an FDA label.

Open the premise chain
  1. Fluconazole inhibits CYP2C9 FDA label — fluconazole
  2. Warfarin is cleared by CYP2C9 FDA label — warfarin
  3. Inhibiting the clearing enzyme raises warfarin exposure interaction rule
  4. Therefore: elevated bleeding risk — monitor INR derived · proven

An illustration of the Proven mode. When Noesis can't ground a chain, it abstains out loud instead — refusal is a feature, not a failure.

See how Noesis works Join the pilot waitlist

Research Notes

Research Notes · Jan 16, 2026

Crystallization: Teaching AI to Remember

Crystallization: Teaching AI to Remember When an LLM answers a question, the answer evaporates. Next session, it's gone — no trace, no memory, no learning. The weights didn'
Research Notes · Jan 9, 2026

Why We Built Neurosymbolic Beings

The Problem With Remembering Nothing Ask an LLM a brilliant question and you'll get a brilliant answer. Ask it again tomorrow and it has no memory of the