Stars
Simple Regularisation for Uncertainty-Aware Knowledge Distillation
🧮 A collection of resources to learn mathematics for machine learning
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
A formally verified high-level synthesis tool based on CompCert and written in Coq.
Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.
📙 HOTTBOX: Higher Order Tensors ToolBOX. Tutorials