7.24.2025
Lagrange Engineering Update: July 2025
Building upon our initial support for provable MLPs and CNNs, we expanded DeepProve’s capabilities to support full inference proofs for transformer-based large language models, culminating in the successful proof of inference for OpenAI’s GPT-2.