8000 minwu-cs (Min Wu) · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View minwu-cs's full-sized avatar
8 followers · 0 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Organizations

@TrustAI

Block or report minwu-cs

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. NeuralNetworkVerification/VeriX NeuralNetworkVerification/VeriX Public

    VeriX: Towards Verified Explainability of Deep Neural Networks

    Python 9 1

  2. NeuralNetworkVerification/Marabou NeuralNetworkVerification/Marabou Public

    C++ 287 102

  3. TrustAI/DeepGame TrustAI/DeepGame Public

    A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees

    Python 20 8

  4. TrustAI/DeepConcolic TrustAI/DeepConcolic Public

    Concolic Testing for Deep Neural Networks

    Python 119 45

0