3 11

dx2102 PRO

dx2102

None yet

updated a Space 4 days ago

dx2102/mini-turing

liked a Space 5 days ago

dx2102/mini-turing

published a Space 6 days ago

dx2102/mini-turing

None yet

Find the LLMs - A real-time Turing Test game

Write musical scores with LLaMA

Search for theorems and definitions in Mathlib and Lean4.

None public yet