Skip to content

Pull requests: Lagrange-Labs/deep-prove

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Fix/softmax in mha
#197 opened Jul 11, 2025 by Zyouell Loading…
chore: fix misspelling issues
#192 opened Jul 10, 2025 by BZO95 Loading…
improve onnx model loading
#191 opened Jul 9, 2025 by tzemanovic Loading…
Dp 35 integrate memory metrics with bencher
#190 opened Jul 9, 2025 by hackaugusto Loading…
Updated Element to be i64
#188 opened Jul 8, 2025 by Zyouell Loading…
Embeddings proving: spec + code
#185 opened Jul 7, 2025 by nikkolasg Loading…
Matmul: add proving of bias
#184 opened Jul 4, 2025 by nikkolasg Loading…
Provable Multi-Head Attention
#183 opened Jul 4, 2025 by nicholas-mainardi Loading…
Feat: Add layer proving
#177 opened Jul 1, 2025 by nikkolasg Loading…
Softmax Proving
#165 opened Jun 25, 2025 by Zyouell Loading…
MHA layer specs
#150 opened Jun 20, 2025 by nicholas-mainardi Draft
Quantised Softmax
#140 opened Jun 6, 2025 by Zyouell Loading…
fix typos
#124 opened May 28, 2025 by crStiv Loading…
Minor Documentation and Code Consistency Fixes
#117 opened May 24, 2025 by leopardracer Loading…
Zyouell/input padding
#88 opened Mar 28, 2025 by Zyouell Draft
Support VGG-11
#73 opened Mar 18, 2025 by sshravan Draft
ProTip! Filter pull requests by the default branch with base:master.