Blockchains-Princeton / COS-ECE473-sp2023
Princeton University - COS/ECE 473 : Elements of Decentralized Finance
☆10Updated last year
Related projects ⓘ
Alternatives and complementary repositories for COS-ECE473-sp2023
- Source code for most of my course notes☆19Updated 3 years ago
- Tutorial on neural theorem proving☆157Updated 10 months ago
- https://csstipendrankings.org☆197Updated last month
- Documents used for grad school application☆293Updated 3 years ago
- ☆176Updated last year
- Kalkulationsassistent☆7Updated 8 years ago
- How to use boost, CGAL, and ideas for solving the Algolab lecture exercises☆15Updated 9 months ago
- A curated list of awesome advice for computer science Ph.D. applicants.☆276Updated 3 years ago
- Formal to Formal Mathematics Benchmark☆317Updated last year
- ☆188Updated last month
- llmstep: [L]LM proofstep suggestions in Lean 4.☆119Updated last year
- [COLM 2024] A Survey on Deep Learning for Theorem Proving☆134Updated 2 months ago
- A curated list of papers related to program synthesis, program induction, program execution, program and code repair, and programmatic re…☆154Updated 3 years ago
- A curated list of papers of interesting empirical study and insight on deep learning. Continually updating...☆270Updated 2 weeks ago
- Benchmark for undergraduate-level formal mathematics☆94Updated last month
- A survival guide for CS PhD students at Stanford☆45Updated 6 years ago
- ☆43Updated last year
- Jupyter notebooks for Parallel Programm (CS/JHU) Fall 2022☆28Updated last year
- Resources for skilling up in AI alignment research engineering. Covers basics of deep learning, mechanistic interpretability, and RL.☆200Updated 9 months ago
- Selected list of papers on World Models that I found interesting and/or useful.☆14Updated 8 months ago
- Retrieval-Augmented Theorem Provers for Lean☆229Updated 2 months ago
- A curated list for awesome discrete diffusion models resources.☆67Updated last week
- ☆101Updated 4 years ago
- ICLR'22 Programmatic Reinforcement Learning☆15Updated last year
- ☆199Updated 6 months ago
- A collection of the application documents I used to apply to universities in the US.☆457Updated 3 years ago
- Bootstrapping ARC☆65Updated this week
- Cheatsheet for Advanced Machine Learning exam @ ETH Zürich, 2018-2019.☆11Updated 5 years ago
- ViT Prisma is a mechanistic interpretability library for Vision Transformers (ViTs).☆179Updated this week