acganesh / compendium
Stanford course notes in math / CS
☆16Updated 5 years ago
Alternatives and similar repositories for compendium:
Users that are interested in compendium are comparing it to the libraries listed below
- A distributed systems framework used running distributable workloads.☆18Updated 4 months ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- A curated list of resources to help with computational research.☆20Updated 2 years ago
- ☆124Updated 7 years ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆62Updated last year
- ☆19Updated last year
- A collection of ML notes☆18Updated 3 years ago
- Isomorphisms of quiver representations applied to neural networks.☆16Updated 6 months ago
- Source code for most of my course notes☆19Updated 3 years ago
- ☆19Updated 2 years ago
- Short Course on Optimization for Machine Learning - Slides and Practical Lab - Pre-doc Summer School on Learning Systems, July 3 to 7, 20…☆18Updated 7 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- A probabilistic programming language, based on Church☆17Updated 7 years ago
- ☆131Updated this week
- Datasets associated with pyprobml☆19Updated last year
- Lecture notes of the course Analysis On Manifolds☆20Updated 2 weeks ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆10Updated 2 years ago
- Projects on AI topics like speech recognition, face recognition, and neural machine translation + Projects on engineering my own version …☆42Updated 4 years ago
- Files needed to replicate my research blog☆76Updated 3 months ago
- IMO Grand Challenge for Artificial Intelligence☆44Updated 2 years ago
- Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq☆53Updated 5 years ago
- TARDIS: Topological Algorithms for Robust DIscovery of Singularities☆40Updated last year
- Computer Security Class - Department of Informatics and Telecommunications, University of Athens☆12Updated 7 years ago
- PyTorch implementation of "Grokking: Generalization Beyond Overfitting on Small Algorithmic Datasets"☆34Updated 3 years ago
- ICDSS Machine Learning Workshop Series: Neural Networks☆17Updated 7 years ago
- Repository for Math 156 Machine Learning at UCLA in Spring 2021 (Instructor: Hanbaek Lyu)☆13Updated 3 years ago
- CS61 lecture material☆96Updated last month
- CS341 for Spring 2024☆11Updated 6 months ago
- Code for our ICLR Trustworthy ML 2020 workshop paper "Improved Image Wasserstein Attacks and Defenses"☆14Updated 4 years ago
- Visualizing the the loss landscape of Fully-Connected Neural Networks☆44Updated last year