dx2102's picture

5

dx2102

dx2102

AI & ML interests

None yet

Recent Activity

liked a Space 10 days 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