From 5ff90e94c9bb411a0262a8130a6f0ce4125ca11b Mon Sep 17 00:00:00 2001 From: ericmarin Date: Mon, 16 Mar 2026 19:36:31 +0100 Subject: changed torch.fx to ONNX --- notes.norg | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) (limited to 'notes.norg') diff --git a/notes.norg b/notes.norg index 66dcbd9..4427354 100644 --- a/notes.norg +++ b/notes.norg @@ -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 -- cgit v1.2.3