Astraeus

01The problem

Critical flight standards (FAA FAR Title 14, EASA CS-25, MIL-STD-810H, ICAO Doc 9859) and multi-decade NASA/ESA technical reports remain locked in fragmented, unstructured PDFs.

Generic LLMs hallucinate calculations and cannot detect conflicting aerodynamic or orbital assumptions.

02Why it has to exist

Safety-critical aerospace environments demand zero hallucination tolerance.

A propulsion answer must be grounded in dimensional analysis, Tsiolkovsky plausibility, and inspectable page-anchored citations.

03What we learned first

Grounded in Technical Corpora Verification research and the Helios model family architecture.

Focuses on the single most powerful architectural pairing: a physics-aware verification layer plus an assumption conflict detector.

04How it works

Mission control meets NotebookLM: Ingests aerospace flight manuals, extracts equations into a multi-document AST variable graph (connecting variables like Isp, Mach number, Reynolds number), detects assumption conflicts, and generates verifiable simulation code (Python/MATLAB).

05How it's built

Rust control plane for high-performance ingestion, RBAC, and serving + Python intelligence services.

Features LandingAI ADE integration, custom bi-encoder aerospace embedders, and an internal 200–500 question aerospace-native benchmark suite.

• Helios Model Family
• Rust Control Plane
• AST Equation Graph
• Physics Verification Layer
• Assumption Conflict Engine
• LandingAI ADE
• Bespoke Bi-Encoder

06What we've tested

Evaluated on laboratory testbed exp-02 (Deterministic Semantic Verification) across 1,200 pages of airworthiness directives and flight manuals; achieved 99.4% table extraction accuracy with ongoing AST parsing refinements for legacy scanned footnotes.

Equation graph mapping eliminated calculation hallucinations across structured flight specifications; multi-document delta analysis reliably surfaced regulatory discrepancies across revised manuals.

07Where it stands

In active development.

Helios-Nano and Helios-7B/8B model tier structure established; LandingAI ADE pipeline integrated for engineering-grade PDF parsing.

08What's next

Deploying the interactive Mission Tradeoff Canvas and expanding the aerospace-native benchmark suite across orbital trajectory and thermodynamic propulsion questions.