Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
1
9
dx2102
PRO
dx2102
Follow
asigalov61's profile picture
John6666's profile picture
2 followers
ยท
0 following
https://github.com/dx2102/web
AI & ML interests
None yet
Recent Activity
updated
a model
about 18 hours ago
dx2102/llama-midi
updated
a Space
2 days ago
dx2102/llama-midi
new
activity
7 days ago
dx2102/llama-midi:
Fine tune model
View all activity
Organizations
None yet
spaces
3
Sort:ย Recently updated
Running
on
Zero
4
Llama Midi
๐ฆ
Write musical scores with LLaMA
Sleeping
1
Lean Expr Tree
๐ข
Running
2
Search Mathlib
๐ฅ
Search for theorems and definitions in Mathlib and Lean4.
models
1
dx2102/llama-midi
Updated
about 18 hours ago
โข
219
โข
4
datasets
None public yet