DeepProve is now open source
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