diff options
| author | ericmarin <maarin.eric@gmail.com> | 2026-03-16 19:36:31 +0100 |
|---|---|---|
| committer | ericmarin <maarin.eric@gmail.com> | 2026-03-17 17:27:47 +0100 |
| commit | 5ff90e94c9bb411a0262a8130a6f0ce4125ca11b (patch) | |
| tree | 80103130dae1d4bfa4cee6537a72c30777ed6a2d /notes.norg | |
| parent | a0b1e7f6a8c11ed98ae20ac484e2fe9f75b9b85f (diff) | |
| download | vein-5ff90e94c9bb411a0262a8130a6f0ce4125ca11b.tar.gz vein-5ff90e94c9bb411a0262a8130a6f0ce4125ca11b.zip | |
changed torch.fx to ONNX
Diffstat (limited to 'notes.norg')
| -rw-r--r-- | notes.norg | 9 |
1 files changed, 3 insertions, 6 deletions
@@ -1,19 +1,16 @@ @document.meta title: Neural Network Equivalence -description: WIP tool to prove NNEQ using Interaction Nets as pre-processor +description: WIP tool to prove NNEQ using Interaction Nets as pre-processor fo my Batchelor's Thesis authors: ericmarin categories: research created: 2026-03-14T09:21:24 -updated: 2026-03-14T18:34:04 +updated: 2026-03-17T11:18:11 version: 1.1.1 @end * TODO - (?) Scalability %Maybe done? I have increased the limits of Inpla, but I have yet to test% - - ( ) Soundness of translated NN - ~~ Define the semantic of the Agents (give a mathematical definition) - ~~ Prove that a Layer L and the Inpla translation represent the same function - ~~ Prove that each Interaction Rules preserve the mathematical semantic of the output + - (x) Soundness of translated NN - ( ) Compatibility with other types of NN - ( ) Comparison with other tool ({https://github.com/NeuralNetworkVerification/Marabou}[Marabou], {https://github.com/guykatzz/ReluplexCav2017}[Reluplex]) - ( ) Add Range agent to enable ReLU optimization |