dx2102

dx2102

·

https://github.com/dx2102/web

AI & ML interests

✉️ dx2102@nyu.edu

Recent Activity

updated a Space 7 days ago

dx2102/llama-midi-v2

published a Space 7 days ago

dx2102/llama-midi-v2

liked a dataset 10 days ago

dx2102/arxiv-semantic-scholar

View all activity

Organizations

None yet

dx2102 's Spaces 3

Llama Midi V2

Modal-backed streaming LLM MIDI generation

Llama Midi

Write musical scores with LLaMA

Search Mathlib

Search for theorems and definitions in Mathlib and Lean4.