Blockchains-Princeton / COS-ECE473-sp2023

Related projects: ⓘ

• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆151Updated 8 months ago
• tyleryzhu / course-notes
  Source code for most of my course notes
  ☆18Updated 3 years ago
• efmkoene / AML-2018-cheatsheet
  Cheatsheet for Advanced Machine Learning exam @ ETH Zürich, 2018-2019.
  ☆11Updated 5 years ago
• lekhovitsky / CS364A
  Solutions to Tim Roughgarden's Algorithmic Game Theory course exercises and problems
  ☆65Updated last year
• openai / lean-gym
  ☆163Updated last year
• callummcdougall / ARENA_2.0
  Resources for skilling up in AI alignment research engineering. Covers basics of deep learning, mechanistic interpretability, and RL.
  ☆185Updated 7 months ago
• leo811121 / UIUC-CS-483-Parallel-Programming
  ☆18Updated 4 years ago
• siboehm / ShallowSpeed
  Small scale distributed training of sequential deep learning models, built on Numpy and MPI.
  ☆88Updated 11 months ago
• dtsip / in-context-learning
  ☆187Updated 4 months ago
• Kaffaljidhmah2 / Arxiv-Recommender
  ☆40Updated 10 months ago
• lean-dojo / ReProver
  Retrieval-Augmented Theorem Provers for Lean
  ☆208Updated 3 weeks ago
• simitii / CS-Grad-School-Applications-Reading-List
  ☆43Updated 4 years ago
• srush / Transformer-Puzzles
  Puzzles for exploring transformers
  ☆293Updated last year
• okarthikb / WikiGPT
  81M parameter custom GPT
  ☆8Updated last year
• Wuziyi616 / Graduate_Application
  Documents used for grad school application
  ☆280Updated 3 years ago
• MinghuiChen43 / awesome-deep-phenomena
  A curated list of papers of interesting empirical study and insight on deep learning. Continually updating...
  ☆242Updated 3 weeks ago
• lean-dojo / LeanDojo
  Tool for data extraction and interacting with Lean programmatically.
  ☆539Updated this week
• srush / Autodiff-Puzzles
  ☆325Updated 11 months ago
• bokesyo / CSC4005_2022Fall_Demo
  Official demo repo of CSC4005 Parallel Programming 2022 Fall @ CUHK(Shenzhen)
  ☆18Updated last year
• jedyang97 / awesome-cs-phd-application-advice
  A curated list of awesome advice for computer science Ph.D. applicants.
  ☆262Updated 3 years ago
• tengyuma / cs229m_notes
  ☆206Updated last year
• sholtodouglas / minformer
  Minimal transformer for arbtirary data (i.e. bio stuff!)
  ☆17Updated last week
• wellecks / llmstep
  llmstep: [L]LM proofstep suggestions in Lean 4.
  ☆115Updated 10 months ago
• srush / GPTWorld
  A puzzle to learn about prompting
  ☆106Updated last year
• dshah3 / GPU-Puzzles
  Solve puzzles. Learn CUDA.
  ☆53Updated 9 months ago
• openai / miniF2F
  Formal to Formal Mathematics Benchmark
  ☆297Updated last year
• linjames0 / Transformer-CUDA
  An implementation of the transformer architecture onto an Nvidia CUDA kernel
  ☆152Updated 11 months ago
• dsparber / algolab
  My solutions for the ETH Algorithms Lab 2020
  ☆32Updated 3 years ago
• cuda-mode / profiling-cuda-in-torch
  ☆124Updated 7 months ago
• irregular-rhomboid / EAI-Math-Reading-Group
  Resources from the EleutherAI Math Reading Group
  ☆50Updated 2 months ago