Skip to content
@formes20

formes

Popular repositories Loading

  1. narv narv Public

    A Network Abstraction-Refinement tool for Verification.

    Python 4

  2. llvm2cryptoline llvm2cryptoline Public

    Forked from fmlab-iis/llvm2cryptoline

    A tool translating LLVM IR to CryptoLine

    C++ 1

  3. MpBP MpBP Public

    [FSE 22 Demonstration] MpBP: Verifying Robustness of Neural Networks with Multi-path Bound Propagation

    Python 1

  4. FaGMR FaGMR Public

    JetBrains MPS 1 1

  5. AbstraCMP AbstraCMP Public

    [JOS 22] & [IJSI] Multi-path Back-Propagation for Neural Network Verification

    Python

  6. coq-qffp coq-qffp Public

    OCaml

Repositories

Showing 7 of 7 repositories
  • SZUThesisLatest Public Forked from Nazzcjy/SZUThesisLatest
    formes20/SZUThesisLatest’s past year of commit activity
    TeX 0 7 0 0 Updated Mar 5, 2024
  • narv Public

    A Network Abstraction-Refinement tool for Verification.

    formes20/narv’s past year of commit activity
    Python 4 0 1 0 Updated Oct 1, 2023
  • coq-qffp Public
    formes20/coq-qffp’s past year of commit activity
    OCaml 0 GPL-2.0 0 0 0 Updated Aug 13, 2023
  • llvm2cryptoline Public Forked from fmlab-iis/llvm2cryptoline

    A tool translating LLVM IR to CryptoLine

    formes20/llvm2cryptoline’s past year of commit activity
    C++ 1 2 0 0 Updated Jul 12, 2023
  • FaGMR Public
    formes20/FaGMR’s past year of commit activity
    JetBrains MPS 1 1 0 0 Updated May 16, 2023
  • MpBP Public

    [FSE 22 Demonstration] MpBP: Verifying Robustness of Neural Networks with Multi-path Bound Propagation

    formes20/MpBP’s past year of commit activity
    Python 1 BSD-3-Clause 0 0 0 Updated May 9, 2023
  • AbstraCMP Public

    [JOS 22] & [IJSI] Multi-path Back-Propagation for Neural Network Verification

    formes20/AbstraCMP’s past year of commit activity
    Python 0 0 0 0 Updated Apr 14, 2023

Top languages

Loading…

Most used topics

Loading…