Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • 3.0
  • 2.1
  • 2.0
  • 1.0
5 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.030Mar29252220181586530Jan2720Dec12421Nov141325Oct241611329Sep252221201924Jul764330Jun2826232221201916151298231May30252423171195421Apr20513Mar914Feb13831Jan252319171110423Dec2220191615141312987652126Nov25242217928Oct24212018121110765329Sep27262065231Aug29Jul27181311865429Jun282321201914added nier_simple support for more existing ONNX operators (a more mature check is still needed)changed and to take into account attributes for (some) ONNX operatorsadded attributes in for ReduceSum and RandomNormalseed is a float (was int)added parameters for RandomNormal and ReduceSum insyntax correctedbug correctionadded new operators in nier_cfgcommented out additional operators'axes' option is not subject to f in functionprogressively add Log and Absnew operators: input ok and functions pred and maptypo fixadd list or description in nier_simple.ml*add list or description in nier_simple.ml*added the list of operators in onnnx.mlNew simpler IR format[interpretation] Add some checking on vector get operation over model applications.[interpretation] Add some checking on model applications.Added constant instancitation in command line inside MNIST example documentation[doc] Add a hint to make the output more verbose in the ACAS tutorialMerge branch 'feature/michele/interpret-svm' into 'master'[trans] Factor out common modules for Float64 and Real theories.[trans] Stricter matching of terms.[trans] Typo in doc.Use logging facilities when possible.[saver] Add basic test w/o using stdlib facilities for robustness.[interpretation][saver] Support reading model with particular abstraction.[proof_strategy] Allow SVM proof strategy on tasks w/o defined dataset.[interpretation] Update after rebase.[interpretation][saver] Support interpretation of specs involving svm models.[proof_strategy] Rename functions and rework/update implementation.[trans] Add split transformation like split_goal_full but stops on quantifiers.[interpretation] Rename reduction engine.[language] Rework API for creating neural networks.[interpretation] Remove utils module.[interpretation] Revise interpreter type nn.[interpretation] Rework interpreter types interface.[interpretation] Move builtin interpretation into separate module.[interpretation] Function of eval term.