DeepProve is open source

DeepProve now ships as a modular open-source repo that can benchmark and extend proof systems across safetensors, GGUF, and ONNX model formats

Finally deepprove is open sourced the repo is here https:// github.com/Lagrange-Labs/ deep-prove … and you can run your own bench for gemma3 and gpt2 (and llama2 but not optimized). It's quite modular so adding another model is easy