Issues

• Gemma 3 provable/quantized path diverges from float execution on upstream checkpoint

  Lagrange-Labs/deep-prove#273 · Filter by author advatar opened on Aug 24, 2026
  1

• Quantization trait: Directly give output scaling factors

  deepproveImprovement
  Lagrange-Labs/deep-prove#178 · Filter by author nikkolasg opened on Jul 2, 2025
  1

• Inference Trace: Duplicate storing of input and output of each layer

  Lagrange-Labs/deep-prove#147 · Filter by author nikkolasg opened on Jun 19, 2025

• Macro to automatically populate Layer trait implementations

  Lagrange-Labs/deep-prove#143 · Filter by author nikkolasg opened on Jun 11, 2025

• Bug: failing basefold benchmark

  Lagrange-Labs/deep-prove#126 · Filter by author huitseeker opened on May 30, 2025

• Batch Prove Convolution Sumchecks

  Lagrange-Labs/deep-prove#108 · Filter by author Zyouell opened on Apr 29, 2025

• Get rid of all convolution related elements in tensor.rs

  Lagrange-Labs/deep-prove#107 · Filter by author nikkolasg opened on Apr 29, 2025

• Ensure! instead of assert!

  Lagrange-Labs/deep-prove#106 · Filter by author nikkolasg opened on Apr 29, 2025

• Emit Proof Bytes

  Lagrange-Labs/deep-prove#87 · Filter by author vowalsh opened on Mar 27, 2025

• Some ideas on DeepProve

  Lagrange-Labs/deep-prove#84 · Filter by author Thiohitric opened on Mar 24, 2025

• Random model with convolution layer inside

  Lagrange-Labs/deep-prove#76 · Filter by author nikkolasg opened on Mar 19, 2025

• Support multiple consecutive downsampling layers

  Lagrange-Labs/deep-prove#74 · Filter by author sshravan opened on Mar 18, 2025

• Profile load_model

  Lagrange-Labs/deep-prove#70 · Filter by author sshravan opened on Mar 18, 2025

• Allow Different Transcripts

  Lagrange-Labs/deep-prove#62 · Filter by author Zyouell opened on Mar 12, 2025