dx2102's picture

3 10

dx2102 PRO

dx2102

·

https://github.com/dx2102/web

AI & ML interests

None yet

Recent Activity

updated a Space 13 days ago

dx2102/mini-turing

published a Space 15 days ago

dx2102/mini-turing

liked a dataset about 1 month ago

lmarena-ai/arena-human-preference-140k

View all activity

Organizations

None yet

dx2102 's Spaces 3

Mini Turing

Find the LLMs - A real-time Turing Test game

Llama Midi

Write musical scores with LLaMA

Search Mathlib

Search for theorems and definitions in Mathlib and Lean4.