good-data-movement / manifestoLinks
The Good Data Movement manifesto.
☆14Updated 5 years ago
Alternatives and similar repositories for manifesto
Users that are interested in manifesto are comparing it to the libraries listed below
Sorting:
- On the Effects of Quantisation on Model Uncertainty in Bayesian Neural Networks☆18Updated last year
- Low Precision Arithmetic Simulation in PyTorch - extension for posit and beyond☆15Updated last month
- Personal Website☆11Updated 3 months ago
- A Deep Learning Framework for the Posit Number System☆29Updated 11 months ago
- ☆10Updated 3 years ago
- ☆19Updated 3 years ago
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆13Updated 3 years ago
- Automatic generation of architecture-level models for hardware from its RTL design.☆13Updated 2 years ago
- A formally verified high-level synthesis tool based on CompCert and written in Coq.☆92Updated last year
- ☆10Updated 8 years ago
- Study on the applicability of Direct Feedback Alignment to neural view synthesis, recommender systems, geometric learning, and natural la…☆88Updated 3 years ago
- SAMO: Streaming Architecture Mapping Optimisation☆33Updated last year
- Implementation of feedback alignment learning in PyTorch☆31Updated 2 years ago
- Implemented here a Binary Neural Network (BNN) achieving nearly state-of-art results but recorded a significant reduction in memory usage…☆74Updated 4 years ago
- ☆30Updated 8 months ago
- Deep learning for spiking neural networks☆69Updated last year
- Research publication code for "Least Squares Binary Quantization of Neural Networks"☆83Updated 2 years ago
- ColTraIn HBFP Training Emulator☆16Updated 2 years ago
- Official implementation for the paper "Understanding Hyperdimensional Computing for Parallel Single-Pass Learning"☆20Updated 2 years ago
- Integrating Event-based Dynamic Vision Sensors with Sparse Hyperdimensional Computing☆10Updated 5 years ago
- Fully documented Pytorch implementation of the Equilibrium Propagation algorithm.☆35Updated 5 years ago
- Reproduction of "Latent Weights Do Not Exist: Rethinking Binarized Neural Network Optimization" for the Reproducibility challenge@NeurIPS…☆11Updated 5 years ago
- Generic floating-point types in Python☆13Updated 4 months ago
- A Modeling and Verification Platform for SoCs using ILAs☆78Updated last year
- Updates of Equilibrium Prop Match Gradients of Backprop Through Time in an RNN with Static Input (NeurIPS 2019)☆14Updated last year
- Jupyter notebooks from our weekly (or so) hackathons☆11Updated 7 months ago
- VeRLPy is an open-source python library developed to improve the digital hardware verification process by using Reinforcement Learning (R…☆27Updated 2 years ago
- ☆23Updated 3 years ago
- Some tutorials for tackling a Machine Learning Competition☆6Updated 4 years ago
- ANSI-C benchmarks generated from Verilog RTL circuits with safety assertions. Used for Formal Property Verification.☆15Updated 6 years ago