AI for TCS

AI-Math-TCS's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Articles

HerrHruby 

updated a dataset 9 days ago

AI-Math-TCS/tcs_papers_v1

Viewer • Updated 9 days ago • 538 • 44

HerrHruby 

published a dataset 9 days ago

AI-Math-TCS/tcs_papers_v1

Viewer • Updated 9 days ago • 538 • 44

HerrHruby 

updated a dataset about 1 month ago

AI-Math-TCS/tcs_dataset_v2

Viewer • Updated May 21 • 69.2k • 35

HerrHruby 

published a dataset about 1 month ago

AI-Math-TCS/tcs_dataset_v2

Viewer • Updated May 21 • 69.2k • 35

CohenQu 

updated 2 datasets about 1 month ago

AI-Math-TCS/physics_questions

Viewer • Updated May 19 • 6.18k • 49

AI-Math-TCS/tcs_find_lemma

Viewer • Updated May 17 • 19.9k • 269

CohenQu 

published a dataset about 1 month ago

AI-Math-TCS/tcs_find_lemma

Viewer • Updated May 17 • 19.9k • 269

CohenQu 

updated a dataset about 1 month ago

AI-Math-TCS/tcs_proof_strategy

Viewer • Updated May 17 • 19k • 140 • 1

CohenQu 

published a dataset about 1 month ago

AI-Math-TCS/tcs_proof_strategy

Viewer • Updated May 17 • 19k • 140 • 1

CohenQu 

updated a dataset about 1 month ago

AI-Math-TCS/tcs_standalone_hard

Viewer • Updated May 17 • 20.4k • 91

CohenQu 

published a dataset about 1 month ago

AI-Math-TCS/tcs_standalone_hard

Viewer • Updated May 17 • 20.4k • 91

CohenQu 

updated 3 datasets about 1 month ago

AI-Math-TCS/physics_dags

Viewer • Updated May 17 • 209 • 12

AI-Math-TCS/tcs_questions

Viewer • Updated May 17 • 23.5k • 22

AI-Math-TCS/tcs_dags

Preview • Updated May 17 • 32

HerrHruby 

updated a dataset about 1 month ago

AI-Math-TCS/tcs_dataset_v1_6_dags

Viewer • Updated May 11 • 456 • 16

HerrHruby 

published a dataset about 1 month ago

AI-Math-TCS/tcs_dataset_v1_6_dags

Viewer • Updated May 11 • 456 • 16

HerrHruby 

updated a dataset about 1 month ago

AI-Math-TCS/tcs_dataset_v1_6

Viewer • Updated May 11 • 8.89k • 33

HerrHruby 

published a dataset about 1 month ago

AI-Math-TCS/tcs_dataset_v1_6

Viewer • Updated May 11 • 8.89k • 33

HerrHruby 

updated a dataset about 1 month ago

AI-Math-TCS/tcs_dataset_v1_5_dags

Viewer • Updated May 10 • 379 • 11

HerrHruby 

published a dataset about 1 month ago

AI-Math-TCS/tcs_dataset_v1_5_dags

Viewer • Updated May 10 • 379 • 11