yuxi-liu-wired

I do math and science for a greater future.

Pinned Repositories

a1111-sd-webui-tagcomplete
Booru style tag autocompletion for AUTOMATIC1111's Stable Diffusion web UI
Language:JavaScript00
ai-experiments
Assorted experiments I made with large AI models.
Language:Jupyter Notebook51
blessed
Blessed is an easy, practical library for making python terminal apps
Language:Python00
cheela
00
CS-285_fall2022
Assignments for Berkeley CS 285: Deep Reinforcement Learning (Fall 2022)
Language:Jupyter Notebook10
cs288-2023-spring
Natural Language Processing, Spring 2023, UC Berkeley
Language:Jupyter Notebook00
CV_Quarto
My personal CV template with Latex and Quarto
Language:JavaScript0 0 00
mc-aixi-ctw
Monte Carlo AIXI agent with context tree weighting
Language:Python21
scaling-law-research
Language:Jupyter Notebook10

yuxi-liu-wired's Repositories

yuxi-liu-wired/ai-experiments
Assorted experiments I made with large AI models.
Language:Jupyter Notebook51
yuxi-liu-wired/mc-aixi-ctw
Monte Carlo AIXI agent with context tree weighting
Language:Python21
yuxi-liu-wired/CS-285_fall2022
Assignments for Berkeley CS 285: Deep Reinforcement Learning (Fall 2022)
Language:Jupyter Notebook10
yuxi-liu-wired/scaling-law-research
Language:Jupyter Notebook10
yuxi-liu-wired/a1111-sd-webui-tagcomplete
Booru style tag autocompletion for AUTOMATIC1111's Stable Diffusion web UI
Language:JavaScript00
yuxi-liu-wired/blessed
Blessed is an easy, practical library for making python terminal apps
Language:Python00
yuxi-liu-wired/cheela
00
yuxi-liu-wired/cs288-2023-spring
Natural Language Processing, Spring 2023, UC Berkeley
Language:Jupyter Notebook00
yuxi-liu-wired/CV_Quarto
My personal CV template with Latex and Quarto
Language:JavaScript0 0 00
yuxi-liu-wired/git-sandbox
Playground for experimenting with using Git for doing things.
Language:Python00
yuxi-liu-wired/GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
Language:Lean00
yuxi-liu-wired/img2dataset
Easily turn large sets of image urls to an image dataset. Can download, resize and package 100M urls in 20h on one machine.
Language:Python00
yuxi-liu-wired/lean-experiments
Experiments with Lean Prover 4
00
yuxi-liu-wired/gpt-subtrans
Project using OpenAI/ChatGPT to translate subtitle files
Language:Python
yuxi-liu-wired/grokking-modular-arithmetics
Replication of "Grokking modular arithmetic" (Gromov, 2023)
Language:Jupyter Notebook
yuxi-liu-wired/language_modeling_is_compression
yuxi-liu-wired/learnxinyminutes-docs
Code documentation written as code! How novel and totally my idea!
Language:JavaScript
yuxi-liu-wired/mamba
The Fast Cross-Platform Package Manager
Language:C++0 0
yuxi-liu-wired/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
Language:HTML
yuxi-liu-wired/mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
Language:Lean
yuxi-liu-wired/mathlib4
The math library of Lean 4
yuxi-liu-wired/overthewire
Game files for OverTheWire
yuxi-liu-wired/Project-Euler
Collection of Project Euler attempts.
Language:Python1 0
yuxi-liu-wired/project-euler-js-website
Starter pack for Project Euler. Written in Javascript, running on node.js, locally hosted in an aesthetically elegant website.
Language:JavaScript
yuxi-liu-wired/scaling-law-by-data-manifold
Scaling law by data manifold.
Language:Jupyter Notebook
yuxi-liu-wired/statopolis
Java implementation of the boardgame Stratopolis.
Language:Java
yuxi-liu-wired/utils
Utilities I use
Language:Jupyter Notebook
yuxi-liu-wired/webdev-experiments
Educational experiments with web development.
Language:TeX
yuxi-liu-wired/yuxi-liu-wired.github.io
Yuxi Liu's personal website
Language:Jupyter Notebook