AI for TCS

classroom

AI & ML interests

None defined yet.

Recent Activity

HerrHruby updated a dataset 3 days ago

AI-Math-TCS/tcs_papers_v1

HerrHruby published a dataset 3 days ago

AI-Math-TCS/tcs_papers_v1

HerrHruby updated a dataset 27 days ago

AI-Math-TCS/tcs_dataset_v2

View all activity

updated a dataset 3 days ago

AI-Math-TCS/tcs_papers_v1

Viewer • Updated 3 days ago • 538 • 30

published a dataset 3 days ago

AI-Math-TCS/tcs_papers_v1

Viewer • Updated 3 days ago • 538 • 30

updated a dataset 27 days ago

AI-Math-TCS/tcs_dataset_v2

Viewer • Updated 27 days ago • 69.2k • 110

published a dataset 27 days ago

AI-Math-TCS/tcs_dataset_v2

Viewer • Updated 27 days ago • 69.2k • 110

updated a dataset 29 days ago

AI-Math-TCS/physics_questions

Viewer • Updated 29 days ago • 6.18k • 70

updated a dataset about 1 month ago

AI-Math-TCS/tcs_find_lemma

Viewer • Updated May 17 • 19.9k • 271

published a dataset about 1 month ago

AI-Math-TCS/tcs_find_lemma

Viewer • Updated May 17 • 19.9k • 271

updated a dataset about 1 month ago

AI-Math-TCS/tcs_proof_strategy

Viewer • Updated May 17 • 19k • 189

published a dataset about 1 month ago

AI-Math-TCS/tcs_proof_strategy

Viewer • Updated May 17 • 19k • 189

updated a dataset about 1 month ago

AI-Math-TCS/tcs_standalone_hard

Viewer • Updated May 17 • 20.4k • 155

published a dataset about 1 month ago

AI-Math-TCS/tcs_standalone_hard

Viewer • Updated May 17 • 20.4k • 155

updated 3 datasets about 1 month ago

AI-Math-TCS/physics_dags

Viewer • Updated May 17 • 209 • 18

AI-Math-TCS/tcs_questions

Viewer • Updated May 17 • 23.5k • 24

AI-Math-TCS/tcs_dags

Preview • Updated May 17 • 74

updated a dataset about 1 month ago

AI-Math-TCS/tcs_dataset_v1_6_dags

Viewer • Updated May 11 • 456 • 24

published a dataset about 1 month ago

AI-Math-TCS/tcs_dataset_v1_6_dags

Viewer • Updated May 11 • 456 • 24

updated a dataset about 1 month ago

AI-Math-TCS/tcs_dataset_v1_6

Viewer • Updated May 11 • 8.89k • 49

published a dataset about 1 month ago

AI-Math-TCS/tcs_dataset_v1_6

Viewer • Updated May 11 • 8.89k • 49

updated a dataset about 1 month ago

AI-Math-TCS/tcs_dataset_v1_5_dags

Viewer • Updated May 10 • 379 • 17

published a dataset about 1 month ago

AI-Math-TCS/tcs_dataset_v1_5_dags

Viewer • Updated May 10 • 379 • 17