zhangyedi

frap

Formal Reasoning About Programs

nni

An open source AutoML toolkit for automate machine learning lifecycle, including feature engineering, neural architecture search, model compression and hyper-parameter tuning.

HorizontalCAS

larq

An Open-Source Library for Training Binarized Neural Networks

eran

ETH Robustness Analyzer for Deep Neural Networks

MPCTT

Modeling and Proving in Computational Type Theory

theme-academic-cv

🎓 无需编写任何代码即可轻松创建漂亮的学术网站 Easily create a beautiful academic résumé or educational website using Hugo and GitHub. No code.

QutibenchWeb

Qutibench website

history-of-interpretation

TensorFlow implementation for SmoothGrad, Grad-CAM, Guided backprop, Integrated Gradients and other saliency techniques

Certified-Robustness-SoK-Oldver

This repo keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on popular datasets and paper categorization.

minisat

A minimalistic and high-performance SAT solver

eevbnn

Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks

dd

Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy

CNF_OBDD

BinaryNet.pytorch

Binarized Neural Network (BNN) for pytorch

NPAQ

Neural Property Approximate Quantifier

balas_algorithm

i can barely imagine use case for this, but however

adversarial-robustness-toolbox

Adversarial Robustness Toolbox (ART) - Python Library for Machine Learning Security - Evasion, Poisoning, Extraction, Inference - Red and Blue Teams

MATH228B

Numerical Methods for PDEs - Winter Quarter 2017

soft_patterns

Text classification code described in "SoPa: Bridging CNNs, RNNs, and Weighted Finite-State Machines" by Roy Schwartz, Sam Thomson and Noah A. Smith, ACL 2018

xai

XAI - An eXplainability toolbox for machine learning

sylvan

Multi-core Decision Diagram (BDD/LDD) implementation

BinaryNet

Training Deep Neural Networks with Weights and Activations Constrained to +1 or -1

sylvan

Implementation of multi-core (binary) decision diagrams

nnv

Neural Network Verification Software Tool

nnv

Neural Network Verification Software Tool

introRL

Intro to Reinforcement Learning (强化学习纲要）

diem

Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.

trfl

TensorFlow Reinforcement Learning

smart-contract-honeypots

This repo contains a collection of smart contract honeypots.