tcz

tcz

·

AI & ML interests

None yet

Recent Activity

updated a dataset 4 days ago

tcz/antiquabench

published a dataset 5 days ago

tcz/antiquabench

updated a dataset 10 days ago

tcz/ax-prover-mathlib-hyde-4b

View all activity

Organizations

tcz 's datasets 13

tcz/antiquabench

Viewer • Updated 4 days ago • 300 • 53

tcz/ax-prover-mathlib-hyde-4b

Updated 10 days ago • 47

tcz/rb-box-layouts-inline

Viewer • Updated Mar 15 • 300k • 44

tcz/rb-box-layouts

Viewer • Updated Feb 23 • 300k • 53

tcz/rb-large-chopped

Viewer • Updated Sep 9, 2025 • 215k • 55

tcz/rb-large-reduced

Viewer • Updated Sep 9, 2025 • 392k • 307

tcz/rb-large

Viewer • Updated Sep 9, 2025 • 324k • 747

tcz/rb-color

Viewer • Updated Sep 9, 2025 • 100k • 12

tcz/rb-color-text

Viewer • Updated Sep 9, 2025 • 100k • 7

tcz/rb-color-text-size

Viewer • Updated Sep 9, 2025 • 99.9k • 8

tcz/rb-color-responsive

Viewer • Updated Sep 9, 2025 • 101k • 9

tcz/rb-size

Viewer • Updated Sep 9, 2025 • 99.8k • 8

tcz/rb-small-validation

Viewer • Updated Sep 9, 2025 • 4 • 11