Source · Tier B · CodeSource · Lagrange-Labs/deep-prove (GitHub repository)
Lagrange-Labs/deep-prove (GitHub repository)
Lagrange Labs. 2026. GitHub.
| Original | https://github.com/Lagrange-Labs/deep-prove |
|---|---|
| Version | Main branch as viewed on 2026-09-25 (1,219 commits, no releases). Licensed under the Lagrange License. |
| Accessed | 2026-09-25 |
| Note | Developer's repository. README reports end-to-end proofs of GPT-2, Gemma 3 and Llama 2 inference with sumcheck and logup GKR, and on a 24-core, 504 GB CPU server: GPT-2 at 512 tokens in 7.6 min (verify 1.3 s, 10.7 MiB proof) and Gemma 3 at 512 tokens in 19 min; at least 99.6% cosine similarity to floating point at 12-bit quantization (GPT-2). |