diff options
| author | ericmarin <maarin.eric@gmail.com> | 2026-03-18 16:43:01 +0100 |
|---|---|---|
| committer | ericmarin <maarin.eric@gmail.com> | 2026-03-18 17:47:15 +0100 |
| commit | af4335cf47984576e7493a0eb6569d3f6ecc31c8 (patch) | |
| tree | 31f6876cf3b4a14ea2bcb167fa301fcec69c02a5 /notes.norg | |
| parent | 0fca69965786db7deee2e976551b5156531e8ed5 (diff) | |
| download | vein-af4335cf47984576e7493a0eb6569d3f6ecc31c8.tar.gz vein-af4335cf47984576e7493a0eb6569d3f6ecc31c8.zip | |
changed eval() for a proper parser. Now it also handles multiple outputs
Diffstat (limited to 'notes.norg')
| -rw-r--r-- | notes.norg | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -4,12 +4,12 @@ description: WIP tool to prove NNEQ using Interaction Nets as pre-processor fo m authors: ericmarin categories: research created: 2026-03-14T09:21:24 -updated: 2026-03-18T13:18:15 +updated: 2026-03-18T17:46:56 version: 1.1.1 @end * TODO - - (?) Scalability %Maybe done? I have increased the limits of Inpla, but I have yet to test% + - (!) Scalability: %Impossible with Inpla, I would need to implement my own engine% - (x) Soundness of translated NN: {:proof.norg:}[PROOF] - ( ) Compatibility with other types of NN - ( ) Comparison with other tool ({https://github.com/NeuralNetworkVerification/Marabou}[Marabou], {https://github.com/guykatzz/ReluplexCav2017}[Reluplex]) |