tcz

tcz

·

AI & ML interests

None yet

Recent Activity

updated a dataset 10 days ago

tcz/antiquabench

published a dataset 20 days ago

tcz/antiquabench

updated a dataset 25 days ago

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

View all activity

Organizations

tcz 's datasets 13

tcz/antiquabench

Viewer • Updated 10 days ago • 300 • 78

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

Updated 25 days ago • 59

tcz/rb-box-layouts-inline

Viewer • Updated Mar 15 • 300k • 22

tcz/rb-box-layouts

Viewer • Updated Feb 23 • 300k • 23

tcz/rb-large-chopped

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

tcz/rb-large-reduced

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

tcz/rb-large

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

tcz/rb-color

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

tcz/rb-color-text

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

tcz/rb-color-text-size

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

tcz/rb-color-responsive

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

tcz/rb-size

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

tcz/rb-small-validation

Viewer • Updated Sep 9, 2025 • 4 • 10