jia-kai/eevbnn jia-kai/eevbnn

  • Stars
    star
    12
  • Rank 1,597,372 (Top 32 %)
  • Language
    Python
  • Created about 4 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jia-kai/eevbnn
github

jia-kai

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

SANM

A symbolic asymptotic numerical solver
C++
30
star
2

realadv

Code for the SAS 2021 paper Exploiting Verified Neural Networks via Floating Point Numerical Error.
Python
5
star
3

hearv

Following http://people.csail.mit.edu/mrub/VisualMic/ to create a visual microphone; course project for DSP in 2014 fall, Tsinghua
TeX
5
star
4

bachelor-thesis

Python
4
star
5

jia-kai.github.io

SCSS
3
star
6

besiege-drone

A drone in Besiege controlled by PID algorithms
Python
3
star
7

armcpu

Another Reduced Mips CPU
C
3
star
8

uSQL

uSQL stands for unnamedSQL, a course project for Introduction to Database Systems in 2014 fall, Tsinghua University.
C++
1
star
9

yasap

Yet Anothe Star Alignment Program for Astrophotography
Python
1
star
10

cryptopals

Jupyter Notebook
1
star