dx2102's picture

3 11

dx2102 PRO

dx2102

·

https://github.com/dx2102/web

AI & ML interests

None yet

Recent Activity

liked a model 1 day ago

kernels-community/flash-attn2

View all activity

Organizations

None yet

dx2102 's Spaces 2

Llama Midi

Write musical scores with LLaMA

Search Mathlib

Search for theorems and definitions in Mathlib and Lean4.