Repository Issue Activity (beta)

lagrange-labs/deep-prove

Current issue state, recent activity, and per-issue timelines from the indexed issue data.

Open Issues
14
New in 7 Days
0
Closed in 7 Days
0
Average Open Age
478 days
Stale 30+ Days
13
Stale 90+ Days
13
Last 2 Weeks
DateOpenedClosedCommentsEventsOpen Backlog
2026-09-2100000
2026-09-20000014
2026-09-1900000
2026-09-1800000
2026-09-1700000
2026-09-1600000
2026-09-1500000
2026-09-1400000
2026-09-1300000
2026-09-1200000
2026-09-1100000
2026-09-1000000
2026-09-0900000
2026-09-0800000
This Week

Opened: 0

Closed: 0

Comments: 0

Events: 0

Top Labels
Improvement (1)
deepprove (1)
Issue Explorer
IssueAuthorStateLabelsCommentsReactionsUpdated

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

Opened 28 days ago
advatar
open
No labels
1028 days ago

#194 Refactor: provable/mod.rs should be dispatched

Opened 1 year ago
nikkolasg
closed - not_planned
No labels
108 months ago

#178 Quantization trait: Directly give output scaling factors

Opened 1 year ago
nikkolasg
open
deepprove
Improvement
101 year ago

#147 Inference Trace: Duplicate storing of input and output of each layer

Opened 1 year ago
nikkolasg
open
No labels
001 year ago

#143 Macro to automatically populate Layer trait implementations

Opened 1 year ago
nikkolasg
open
No labels
001 year ago

#130 Lookup Proving randomly fails (related to clamping?)

Opened 1 year ago
nikkolasg
closed - completed
No labels
101 year ago

#126 Bug: failing basefold benchmark

Opened 1 year ago
huitseeker
open
No labels
001 year ago

#108 Batch Prove Convolution Sumchecks

Opened 1 year ago
Zyouell
open
No labels
001 year ago

#107 Get rid of all convolution related elements in tensor.rs

Opened 1 year ago
nikkolasg
open
No labels
001 year ago

#106 Ensure! instead of assert!

Opened 1 year ago
nikkolasg
open
No labels
001 year ago

#87 Emit Proof Bytes

Opened 1 year ago
vowalsh
open
No labels
001 year ago

#84 Some ideas on DeepProve

Opened 1 year ago
Thiohitric
open
No labels
001 year ago

#82 zkevm

Opened 2 years ago
Nvasukumar
closed - not_planned
No labels
002 years ago

#81 Greatness

Opened 2 years ago
nftsrover
closed - completed
No labels
002 years ago

#76 Random model with convolution layer inside

Opened 2 years ago
nikkolasg
open
No labels
002 years ago

#74 Support multiple consecutive downsampling layers

Opened 2 years ago
sshravan
open
No labels
002 years ago

#68 Assert conv2d & maxpool stride, padding, dilation

Opened 2 years ago
sshravan
closed - completed
No labels
102 years ago

#36 ```test_identity_eval``` fails sporadically

Opened 2 years ago
sshravan
closed - completed
No labels
202 years ago

#70 Profile ```load_model```

Opened 2 years ago
sshravan
open
No labels
002 years ago

#62 Allow Different Transcripts

Opened 2 years ago
Zyouell
open
No labels
002 years ago

#17 TODO list

Opened 2 years ago
nikkolasg
closed - completed
No labels
002 years ago

#40 Todo and notes (06-March)

Opened 2 years ago
sshravan
closed - completed
No labels
102 years ago

#11 [zkml] Seeded RNGs

Opened 2 years ago
nikkolasg
closed - completed
No labels
102 years ago

Rows per page:

1–23 of 23