dx2102's picture

8

dx2102 PRO

dx2102

·

AI & ML interests

None yet

Recent Activity

updated a Space 14 days ago

dx2102/llama-midi

updated a model 14 days ago

dx2102/llama-midi-v9-2

published a model 14 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 14 days ago • 5 • 1

dx2102/llama-midi-v9

Updated 20 days ago • 4

dx2102/llama-midi-3B

Updated 30 days ago • 10

dx2102/llama-abc

Updated Jan 20 • 3

dx2102/llama-midi

Updated Jan 20 • 10

datasets

None public yet