dx2102's picture

7

dx2102

dx2102

AI & ML interests

None yet

Recent Activity

liked a Space 19 days ago

facebook/MusicGen

liked a Space 19 days ago

balacoon/tts

liked a Space about 1 month ago

hf-accelerate/model-memory-usage

View all activity

Organizations

None yet

spaces 2

Lean Expr Tree

Search Mathlib

Search for theorems and definitions in Mathlib and Lean4.

models

None public yet

datasets

None public yet