I do math and science for a greater future.
- 07.layer.wired
- https://yuxi-liu-wired.github.io
- @layer07_yuxi
Highlights
- Pro
Popular repositories Loading
-
-
ai-experiments
ai-experiments PublicAssorted experiments I made with large AI models.
-
mc-aixi-ctw
mc-aixi-ctw Public archiveMonte Carlo AIXI agent with context tree weighting
-
CS-285_fall2022
CS-285_fall2022 Public archiveForked from berkeleydeeprlcourse/homework_fall2022
Assignments for Berkeley CS 285: Deep Reinforcement Learning (Fall 2022)
Jupyter Notebook 2
-
GlimpseOfLean
GlimpseOfLean PublicForked from PatrickMassot/GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
Lean 1
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.