Sofia Wawrzyniak
|
9fb78c36e0
|
readding examples
|
2024-02-05 09:41:01 -05:00 |
|
Sofia Wawrzyniak
|
074db5d229
|
preliminary bucketing of examples
|
2024-02-05 09:09:41 -05:00 |
|
dante
|
95d4fd4a70
|
feat: power of 2 div using type system (#702)
|
2024-02-04 02:43:38 +00:00 |
|
dante
|
df72e01414
|
feat: make selector compression optional (#696)
|
2024-01-24 00:09:00 +00:00 |
|
Alexander Camuto
|
31f58056a5
|
chore: bump py03
|
2024-01-21 20:58:32 +00:00 |
|
Vehorny
|
feccc5feed
|
chore(examples): proofreading the notebooks (#687)
---------
Co-authored-by: dante <45801863+alexander-camuto@users.noreply.github.com>
|
2024-01-18 14:48:02 +00:00 |
|
dante
|
db24577c5d
|
fix: calibrate from total min/max on lookups rather than individual x (#690)
|
2024-01-17 23:59:15 +00:00 |
|
Jseam
|
bb482e3cac
|
fix: set max_logrows for calibrate_settings (#688)
|
2024-01-16 17:40:45 +00:00 |
|
dante
|
07a508016e
|
refactor: carry conv/deconv kernel info at the const node level (#684)
|
2024-01-09 19:20:16 +00:00 |
|
dante
|
de48ae18fa
|
refactor: lookup safety during cal should be selectable (#678)
|
2024-01-03 16:10:58 +00:00 |
|
dante
|
dc9357f805
|
fix: forcefully assign symbolic values in large graphs for tract (#673)
|
2023-12-22 02:57:47 +00:00 |
|
dante
|
cc327586ee
|
chore: bump revm / snark-verifier deps (#671)
---------
Co-authored-by: Ethan <tylercemer@gmail.com>
|
2023-12-21 13:00:42 +00:00 |
|
dante
|
5c529092c9
|
chore: demonstrate larger calibration datasets in nb (#669)
|
2023-12-19 18:21:39 +00:00 |
|
dante
|
fd3159d860
|
refactor: rm encrypted vis (#660)
|
2023-12-16 10:00:44 +00:00 |
|
dante
|
78c0aff9b0
|
refactor!: set defaults for most flags (#653)
BREAKING_CHANGE: arg ordering in python
|
2023-12-11 11:06:18 +00:00 |
|
dante
|
71a0a5fa0b
|
chore: cleanup remote cmds (#650)
|
2023-12-09 23:35:56 +00:00 |
|
dante
|
1697b6e46e
|
feat!: create SRS repo by default to avoid redownloading (#649)
|
2023-12-08 17:59:55 +00:00 |
|
Ethan Cemer
|
c532ebc52a
|
chore: add cal_input field to deploy_model hub command (#648)
deploy_model command
|
2023-12-06 23:33:15 +00:00 |
|
Ethan Cemer
|
7df38d0aa6
|
feat: lenet model for improved accuracy of mnist classifier (#636)
---------
Co-authored-by: dante <45801863+alexander-camuto@users.noreply.github.com>
|
2023-12-06 23:32:35 +00:00 |
|
dante
|
54ab439fec
|
fix: patch arg processing for 1D sumpool (#646)
|
2023-12-05 22:13:03 +00:00 |
|
dante
|
7bc5f462fd
|
feat: python bindings for setup_test_evm_witness (#642)
|
2023-12-05 10:58:02 +00:00 |
|
dante
|
18681711f4
|
fix: remove implicit unwrap in einsum prod pair iteration (#644)
|
2023-12-04 23:21:54 +00:00 |
|
dante
|
44e4126987
|
fix: prevent calibrate from picking too large extended K (#641)
|
2023-12-03 18:26:08 +00:00 |
|
dante
|
3386bba9ce
|
chore: test for max 0.18 error on resources cal (#639)
|
2023-12-01 09:22:20 +00:00 |
|
dante
|
5472ccb902
|
feat: layer-norm support (#638)
|
2023-11-29 12:48:52 +00:00 |
|
Jseam
|
e250b68979
|
fix: update hub queries (#630)
---------
Co-authored-by: dante <45801863+alexander-camuto@users.noreply.github.com>
|
2023-11-27 11:12:06 +00:00 |
|
dante
|
cd70a95836
|
refactor: remove most paths that panic or crash when using as a lib not bin (#632)
|
2023-11-26 13:05:07 +00:00 |
|
Ethan Cemer
|
1b9f252030
|
fix: minor tweaks to mnist classifier notebook (#629)
---------
Co-authored-by: dante <45801863+alexander-camuto@users.noreply.github.com>
|
2023-11-24 16:18:35 +00:00 |
|
dante
|
686834fdcd
|
refactor: bump resources calibration min scale (#628)
|
2023-11-24 10:10:37 +00:00 |
|
dante
|
ab4ac96196
|
feat: condense range related nodes into single constant (#626)
|
2023-11-22 23:32:24 +00:00 |
|
Jseam
|
df27e81038
|
docs: add tictactoe examples (#623)
|
2023-11-21 10:25:39 +00:00 |
|
dante
|
6fea1dea53
|
chore: world rotation example (#618)
|
2023-11-18 15:09:39 +03:00 |
|
dante
|
13dae3392f
|
fix!: make calibrate-settings sync in python (#616)
BREAKING CHANGE: calibrate settings is no longer async
|
2023-11-18 01:08:10 +03:00 |
|
dante
|
8edf220809
|
fix: move length tests to region equality constraint (#607)
|
2023-11-14 15:39:19 +00:00 |
|
dante
|
aac2e9aa1d
|
chore!: deprecate public vis for params (#602)
BREAKING CHANGE: public vis for parameters now errors
|
2023-11-12 02:43:24 +03:00 |
|
dante
|
50ed2e2990
|
chore: cleanup integration tests (#600)
|
2023-11-11 08:58:44 +03:00 |
|
dante
|
ae88ffe55b
|
feat: match accum constraints to cuboid (#595)
|
2023-11-07 18:02:08 +03:00 |
|
dante
|
ee4e64faee
|
feat: cuboid cell arrangement (#594)
|
2023-11-06 08:25:04 +00:00 |
|
dante
|
470116b97b
|
chore: simple mnist classifier example (#593)
|
2023-11-04 19:38:33 +00:00 |
|
dante
|
9c723f90e6
|
fix: add slack to lookup overflow for high prec models (#590)
|
2023-11-04 07:30:46 +00:00 |
|
dante
|
4c8493d422
|
chore: generalized inverse example (#588)
|
2023-11-02 14:46:02 +00:00 |
|
dante
|
a71951a14a
|
chore: cleanup intermediary lookup calcs (#583)
|
2023-10-30 18:05:34 +00:00 |
|
dante
|
098903869a
|
feat: aggregation for split proofs (#581)
|
2023-10-30 12:03:32 +00:00 |
|
dante
|
77df15d152
|
fix: patch int to float cast and rounding ops (#580)
|
2023-10-27 20:43:00 +01:00 |
|
dante
|
188ccb53ae
|
chore: reuse splitting boilerplate across examples (#578)
|
2023-10-27 13:14:43 +01:00 |
|
dante
|
8493ed3ddc
|
fix: patch tract inference for ? dims (#576)
|
2023-10-26 23:30:24 +01:00 |
|
dante
|
96c32aef3d
|
chore: cleanup gan proof splitting example (#575)
|
2023-10-26 15:08:18 +01:00 |
|
dante
|
3156738f16
|
chore: gan proof splitting example (no parallelism) (#574)
|
2023-10-25 23:52:42 +01:00 |
|
dante
|
875fdda60e
|
chore: proof splitting example (#572)
|
2023-10-24 22:18:18 +01:00 |
|
dante
|
4ac0873c5a
|
chore: solvency demo (#571)
|
2023-10-24 11:52:33 +01:00 |
|