Making Hard Math Provable: Introducing Efficient Proofs for Non-Polynomial Functions
Lagrange's Year in Review: 2025
Lagrange Labs Listed in the Vulcan-SOF Technology Portal, Expanding Access to Verifiable AI for Special Operations
Lagrange Labs Joins General Dynamics’ Supplier Ecosystem to Advance AI Assurance Across Defense Applications
Lagrange Labs Added to Raytheon’s Supplier Network for Cryptographic Verification of Defense Systems