Last released Apr 12, 2026
Mathematically verifiable audit layer for LLM inference via Koopman operator theory
Last released Dec 6, 2025
Zero-dependency cryptographic verification for Aevion AI proofs
Supported by