My lecture notes and other course materials
☆40Nov 3, 2025Updated 8 months ago
Alternatives and similar repositories for Teaching
Users that are interested in Teaching are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Category Theory for Quantum Natural Language Processing☆11Feb 22, 2023Updated 3 years ago
- ☆11Nov 12, 2018Updated 7 years ago
- Repository for 2019 CVPR AI City Challenge Track 3 from IPL@UW☆12Jun 2, 2019Updated 7 years ago
- Code accompanying our paper "Finding trainable sparse networks through Neural Tangent Transfer" to be published at ICML-2020.☆13Jun 14, 2020Updated 6 years ago
- ☆14Apr 25, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Project to visualize the kernels and the outputs of the individual layers of a CNN built in pytorch.☆18Feb 28, 2020Updated 6 years ago
- This notebook presents an example of the equal risk pricing framework with deep hedging from my paper Carbonneau, A. and Godin, F. (2020)…☆15Oct 15, 2021Updated 4 years ago
- Contains my experiments with the `big_vision` repo to train ViTs on ImageNet-1k.☆22Jan 16, 2023Updated 3 years ago
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆13Updated this week
- Lecture notes from Introduction to Conformal Field Theory course given by Dr. Tobias Osborne.☆16Sep 7, 2021Updated 4 years ago
- My attempt to make neovim more rust friendly from an IDE perspective while trying to not do all of the things!☆12Oct 3, 2020Updated 5 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 4 years ago
- This file includes the code I've written for the course Numerical Method in finance, Stochastic Calculus in Spring 2020.☆12May 13, 2020Updated 6 years ago
- ☆13Sep 15, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Lecture notes from Cambridge maths☆75Feb 1, 2024Updated 2 years ago
- Collection of three method of moments based algorithms for learning stochastic languages.☆16Jan 22, 2015Updated 11 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- A Python library that integrates the Curvelet transform into differentiable programming pipelines, such as PyTorch and JAX.☆12Jun 22, 2023Updated 3 years ago
- Predictive State Recurrent Neural Networks☆18May 18, 2020Updated 6 years ago
- Tasty Bits of Several Complex Variables, graduate textbook☆21May 31, 2026Updated last month
- Replicated the Alpha Go Zero paper but applied it to the game Santorini.☆13Jan 27, 2018Updated 8 years ago
- Paper and Code for "Curriculum Learning by Optimizing Learning Dynamics" (AISTATS 2021)☆20Jun 27, 2021Updated 5 years ago
- ☆15Mar 19, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- ☆16Oct 8, 2021Updated 4 years ago
- Lecture notes for a graduate mathematical methods in physics course at UCR☆14Oct 2, 2023Updated 2 years ago
- playing with gpt4☆13Mar 17, 2023Updated 3 years ago
- Implementation of "Decoding-time Realignment of Language Models", ICML 2024.☆21Jun 17, 2024Updated 2 years ago
- We introduce a way to extend sparse dictionary learning to deep architectures.☆17Jan 13, 2022Updated 4 years ago
- Lean 3 web editor☆12Oct 25, 2023Updated 2 years ago
- Implementation of "A deep solver for BSDEs with jumps"☆17Nov 14, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Notebooks that support https://python-advanced.quantecon.org☆20Jun 25, 2026Updated last week
- Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice. This is a mirror of https://gitlab.common-lisp.n…☆28May 21, 2025Updated last year
- Experiments with some ways of automating reasoning in lean 4☆19Apr 20, 2024Updated 2 years ago
- The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"☆10Jun 26, 2020Updated 6 years ago
- ☆10Nov 5, 2018Updated 7 years ago
- ☆16Aug 20, 2022Updated 3 years ago
- Code for Sufficient Input Subsets Paper☆14Mar 8, 2019Updated 7 years ago