dx2102's picture

8

dx2102 PRO

dx2102

AI & ML interests

None yet

Recent Activity

updated a Space 4 days ago

dx2102/llama-midi

updated a model 4 days ago

dx2102/llama-midi-3B

published a model 4 days ago

dx2102/llama-midi-3B

View all activity

Organizations

None yet

spaces 3

Running on Zero

Llama Midi

Write musical scores with LLaMA

Lean Expr Tree

Search Mathlib

Search for theorems and definitions in Mathlib and Lean4.

models 3

dx2102/llama-midi-3B

Updated 4 days ago • 4

dx2102/llama-abc

Updated 10 days ago • 8

dx2102/llama-midi

Updated 10 days ago • 29

datasets

None public yet