dx2102's picture

3 10

dx2102 PRO

dx2102

·

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 2 months ago

dx2102/llama-midi

updated a Space 2 months ago

dx2102/llama-midi

View all activity

Organizations

None yet

dx2102 's Spaces 2

Llama Midi

Write musical scores with LLaMA

Search Mathlib

Search for theorems and definitions in Mathlib and Lean4.