Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Eevbnn

Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks
Stars
9
License
No license specified
Open Issues
0
Most Recent Commit
2 years ago
Programming Language
Python
Categories
Repo
Suggest An Alternative To eevbnn
Popular Neural Network Projects
Tensorflow ⭐ 180,196
An Open Source Machine Learning Framework for Everyone
dependent packages 78total releases 46latest release October 23, 2019most recent commit 3 months ago
Pytorch ⭐ 74,794
Tensors and Dynamic neural networks in Python with strong GPU acceleration
dependent packages 8,272total releases 39latest release November 15, 2023most recent commit 3 months agopypi torch} Downloads
Keras ⭐ 60,854
Deep Learning for humans
dependent packages 697total releases 87latest release December 06, 2023most recent commit 4 days agopypi keras} Downloads
Faceswap ⭐ 48,125
Deepfakes Software For All
most recent commit 3 months ago
Popular Sat Solver Projects
Cryptominisat ⭐ 767
An advanced SAT solver
dependent packages 2total releases 1latest release January 25, 2019most recent commit 3 months ago
Gophersat ⭐ 353
gophersat, a SAT solver in Go
dependent packages 17total releases 19latest release November 24, 2023most recent commit 3 months ago
Yices2 ⭐ 345
The Yices SMT Solver
most recent commit 3 months ago
Popular Machine Learning Categories
Deep Learning
Machine Learning
Pytorch
Tensorflow
Natural Language Processing
Neural Network
Neural
Computer Vision
Convolutional Neural Networks
Opencv
Related Searches
Python Neural Network
Python Sat Solver

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Python
Neural Network
Sat Solver
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.