Pinned Loading

1. SANM SANM Public

   A symbolic asymptotic numerical solver

   C++ 30 2

2. eevbnn eevbnn Public

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

   Python 13 3

3. realadv realadv Public

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

   Python 5

4. minisatcs minisatcs Public

   Forked from niklasso/minisat

   A minimalistic and high-performance SAT solver

   C++ 4 2

5. yasap yasap Public

   Yet Anothe Star Alignment Program for Astrophotography

   Python 1

6. MegEngine/MegEngine MegEngine/MegEngine Public

   MegEngine 是一个快速、可拓展、易于使用且支持自动求导的深度学习框架

   C++ 4.8k 543