Formally verified evaluation
FR-OS is a formally verified evaluation engine that resolves what words mean, what diagnoses fit, and what rules are satisfied. Every determination is mathematically proven. Every error is traceable. Zero learned parameters. Zero guessing.
The difference
Language models approximate meaning through statistical patterns learned from massive datasets. They can't explain their decisions. They hallucinate. They require enormous compute. When they're wrong, there's no mechanism to find out why.
FR-OS evaluates structured inputs against mathematically proven rules. Every determination comes with a complete record of what was evaluated and why. When the data is insufficient, the engine reports exactly what is missing. The evaluation is deterministic, auditable, and final.
By the numbers
Word sense disambiguation on the standard Raganato benchmark (7,253 instances). Exceeds all published neural systems by over 12 points.
Verified against formally proven rules. Ranked differential with exclusion certificates.
No neural network. No training. Deterministic evaluation with self-correcting data.
* In the core evaluation engine. An optional LLM co-processor layer includes a small (approximately 22 MB) sentence-embedding model for auxiliary ranking of LLM-proposed corrections; it is separable from the engine and not involved in any direct disambiguation decision.
Applications
FR-OS is a general-purpose evaluation engine. The same formal guarantees apply whether the input is a sentence, a patient record, or an AI response.
Resolves which meaning a word carries in context. 94.5% F1 on the standard Raganato benchmark, exceeding GPT-4 and all supervised neural systems by over 12 points. Zero learned parameters.
View benchmark resultsPatient symptoms evaluated against 30,981 diagnoses. Returns a ranked differential with exclusion certificates showing why each diagnosis was ruled in or out.
See the demoEvery AI response verified against your policies before it reaches users. Clear pass/fail verdicts with detailed reports. Deterministic, consistent, and final.
Learn how it worksA conversational assistant where every answer cites a verifiable proof. It tells you what it knows, what it doesn't, and points to the evidence. Each conversation teaches the engine something new -- no retraining, no model releases, just a system that gets smarter the more you use it.
Meet the assistantComing soon
Contract term disambiguation, compliance verification, and ambiguity detection. The same formal guarantees applied to legal text.
Learn moreComing soon
Models trained on structured proofs instead of raw text. The engine teaches. The model learns. The engine verifies. Domain-agnostic reasoning at neural network speed.
Learn moreHow it works
Specify the rules, knowledge, or policies for your domain. FR-OS compiles them into formally verified evaluation rules. Medical diagnoses, word senses, content policies -- the same engine handles all of them.
Send structured inputs to the engine. It evaluates every candidate against the evidence and produces a definitive determination. No confidence scores. No thresholds. A proof, every time.
Every determination comes with a full audit trail. When data is insufficient, the engine identifies exactly what is missing. A self-correcting loop closes the gap automatically.
Early access
Be the first to know when FR-OS launches. We'll notify you when API access is available.