Skip to content
View spreto's full-sized avatar
0 followers · 1 following
  • Universidade de São Paulo
  • São Paulo, Brazil
Block or Report

Block or report spreto

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. pwl2limodsat pwl2limodsat Public

    Program to build representations modulo satisfiability of piecewise linear functions into Łukasiewicz Infinitely-valued Logic.

    C++

  2. NNverificationViaLukasiewiczLogic NNverificationViaLukasiewiczLogic Public

    Experiment of formal verification of a neural network via Łukasiewicz Infinitely-valued Logic.

    Python

  3. reluka reluka Public

    A translator from neural networks with ReLU activation functions stored in .onnx format to (rational McNaughton) piecewise linear functions in regional format stored in .pwl format.

    C++

  4. lukasol lukasol Public

    Solver for satisfiability and logical consequence validity in Łukasiewicz Infinitely-valued Logic.

    C++