Formal Methods and Machine Learning
Collection of resources for research concerning Machine Learning and Formal Methods. – jdnklau/fm-ml…
Read more »The Most Important Algorithm in Machine Learning [video]
Shortform link: https://shortform.com/artemIn this video we will talk about backpropagation – an algorithm powering the entire field of machine learning and …
Read more »CS224W: Machine Learning with Graphs – Notes
These notes form a concise introductory course on machine learning with large-scale graphs. They mirror the topics topics covered by Stanford CS224W, and are written by the CS 224W TAs. ⊕The notes are still under construction! They will be written up as l…
Read more »Towards 1-bit Machine Learning Models
A support blog for the release of 1-bit Aana model.
Read more »PyTorch for Deep Learning and Machine Learning [video]
Learn PyTorch for deep learning in this comprehensive course for beginners. PyTorch is a machine learning framework written in Python.✏️ Daniel Bourke develo…
Read more »Half-Quadratic Quantization of Large Machine Learning Models
An in-depth article discussing the intricacies of efficient model quantization in machine learning and their application in large language models for improved efficiency.
Read more »Real-Time Visual and Machine Learning Systems
An upcoming course which will be based on this material. Lightning icons created by Freepik – Flaticon .
Read more »Nvidia: The Machine Learning Company (2006-2022) [video]
By 2012, NVIDIA was on a decade-long road to nowhere. Or so most rational observers of the company thought. CEO Jensen Huang was plowing all the cash from th…
Read more »ClimateSet – A Large-Scale Climate Model Dataset for Machine Learning
A Large-Scale Climate Model Dataset for Machine Learning – RolnickLab/ClimateSet…
Read more »Jeff Dean (Google): Trends in Machine Learning
Abstract: In this talk I’ll highlight several exciting trends in the field of AI and machine learning. Through a combination of improved algorithms and major…
Read more »