Skip to content
View Apich238's full-sized avatar

Block or report Apich238

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

Pinned Loading

  1. EstimatingAbductor EstimatingAbductor Public

    Library for abductive inference in Zadeh's estimated logic.

    Python

  2. LTN_pytorch LTN_pytorch Public

    Implementation of Logic Tensor Network through pytorch

    Jupyter Notebook

  3. mySAT mySAT Public

    attempt to make neural SAT solver

    Python

  4. neural-fuzzy-sat-solver neural-fuzzy-sat-solver Public

    Graph neural network for search fuzzy formula model

    Python

  5. SysDA SysDA Public

    Analytics tableau for logic with estimates

    Python