dx2102's picture

3 10

dx2102 PRO

dx2102

·

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

spaces 2

Llama Midi

Write musical scores with LLaMA

Search Mathlib

Search for theorems and definitions in Mathlib and Lean4.

models 1

dx2102/llama-midi

1B • Updated Oct 22, 2025 • 60 • 9

datasets 0

None public yet