Shayan Talaei

stalaei

1

·

shayan.talaei

AI & ML interests

None yet

Organizations

stalaei 's datasets 64

stalaei/real-math-corpus-207

Viewer • Updated Jun 11, 2025 • 1.45k • 5

stalaei/real-math-dataset-207-with-extra-proof-dependencies

Viewer • Updated May 24, 2025 • 207 • 22

stalaei/real-math-dataset-226-with-proof-dependencies

Viewer • Updated May 24, 2025 • 226 • 4

stalaei/real-math-dataset-633-with-dependencies

Viewer • Updated May 24, 2025 • 633 • 4