diff options
| author | ericmarin <maarin.eric@gmail.com> | 2026-03-11 16:07:04 +0100 |
|---|---|---|
| committer | ericmarin <maarin.eric@gmail.com> | 2026-03-11 16:07:04 +0100 |
| commit | fb544e2089e0c52bd83ffe56f2f4e8d7176564ee (patch) | |
| tree | 465c8a957baa001ea3e4733774b380dc2cc79e22 /appunti | |
| parent | 8619ee7a61bafb8c401087508b886e37779be07b (diff) | |
| download | vein-fb544e2089e0c52bd83ffe56f2f4e8d7176564ee.tar.gz vein-fb544e2089e0c52bd83ffe56f2f4e8d7176564ee.zip | |
added constraint to prover
Diffstat (limited to '')
| -rw-r--r-- | appunti | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -0,0 +1,7 @@ +scalability + +soundness of translated nn + +compatibility with other types of network + +comparison with other tool |