Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
3
10
dx2102
PRO
dx2102
Follow
asigalov61's profile picture
frascuchon's profile picture
John6666's profile picture
4 followers
·
0 following
https://github.com/dx2102/web
AI & ML interests
None yet
Recent Activity
liked
a dataset
27 days ago
lmarena-ai/arena-human-preference-140k
updated
a Space
about 2 months ago
dx2102/llama-midi
updated
a Space
about 2 months ago
dx2102/llama-midi
View all activity
Organizations
None yet
spaces
2
Sort:Â Recently updated
Running
on
Zero
9
Llama Midi
🦀
Write musical scores with LLaMA
Running
2
Search Mathlib
🔥
Search for theorems and definitions in Mathlib and Lean4.
models
1
dx2102/llama-midi
1B
•
Updated
Oct 22
•
56
•
9
datasets
0
None public yet