Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
3
10
dx2102
PRO
dx2102
Follow
frascuchon's profile picture
asigalov61's profile picture
johnnyblue711's profile picture
4 followers
ยท
0 following
https://github.com/dx2102/web
AI & ML interests
None yet
Recent Activity
liked
a dataset
about 2 months ago
lmarena-ai/arena-human-preference-140k
updated
a Space
3 months ago
dx2102/llama-midi
updated
a model
3 months ago
dx2102/llama-midi
View all activity
Organizations
None yet
dx2102
's Spaces
2
Sort:ย Recently updated
Running
on
Zero
10
Llama Midi
๐ฆ
Write musical scores with LLaMA
Sleeping
2
Search Mathlib
๐ฅ
Search for theorems and definitions in Mathlib and Lean4.