dx2102's picture

8

dx2102 PRO

dx2102

·

AI & ML interests

None yet

Recent Activity

updated a Space 3 days ago

dx2102/llama-midi

updated a model 3 days ago

dx2102/llama-midi-v9-2

published a model 3 days ago

dx2102/llama-midi-v9-2

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 5

dx2102/llama-midi-v9-2

Updated 3 days ago • 4 • 1

dx2102/llama-midi-v9

Updated 9 days ago • 4

dx2102/llama-midi-3B

Updated 19 days ago • 8

dx2102/llama-abc

Updated 25 days ago • 11

dx2102/llama-midi

Updated 25 days ago • 13

datasets

None public yet