dx2102's picture

2 10

dx2102 PRO

dx2102

·

https://github.com/dx2102/web

AI & ML interests

None yet

Recent Activity

new activity 19 days ago

dx2102/llama-midi:Suggestion: Add a brief description and link for the `symusic` dependency

updated a model 19 days ago

dx2102/llama-midi

updated a Space 20 days ago

dx2102/llama-midi

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 2

dx2102/llama-midi

Updated 19 days ago • 176 • 4

dx2102/llama-midi-2

Updated 21 days ago • 8

datasets 0

None public yet