Skip to content

Jaxon Platform Documentation

Welcome to the Jaxon platform documentation. Jaxon verifies text content against formal policies using logic-based rules, delivering mathematically provable compliance results rather than probabilistic judgments.

Getting Started -- A walkthrough of the platform's core workflow, from documents to rulesets to test results.

Concepts -- Learn the core building blocks of the platform:

  • Documents -- Text content that the platform analyzes
  • Rulesets -- Rulesets that verify documents against policy requirements
  • Datasets -- Collections of test data for measuring ruleset accuracy
  • Runs -- Execute rulesets against documents and review results
  • DSAIL Language -- The formal logic language behind the verification engine

Tutorials -- Hands-on tutorials for building real compliance verification setups.

Reference:

What is Jaxon?

Jaxon verifies LLM outputs and text content against formal policies encoded as DSAIL rules. Unlike approaches that use LLMs to judge other LLM outputs, Jaxon compiles policy requirements into formal logic and evaluates them with an SMT (Satisfiability Modulo Theories) solver. This means verification results are mathematically provable -- a rule either holds, is violated, or the text lacks sufficient information to determine the outcome.

The platform is where you configure projects and build rulesets -- translating your policy documents into formal verification logic. Once your rulesets are developed and tested, external applications and agents consume them through the Jaxon API to verify text and LLM outputs in production. The platform itself is your development and testing environment: upload sample documents, run rulesets against them, and iterate until your verification logic is ready for deployment. The platform handles the complexity of translating natural language policies into formal logic, extracting relevant information from text, and producing definitive compliance assessments.

Release Notes -- See what's new in the latest version.