AI for TCS

AI-Math-TCS's activity

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

HerrHruby 

updated a dataset 4 days ago

AI-Math-TCS/tcs_dataset_v2

Viewer • Updated 4 days ago • 69.2k • 78

HerrHruby 

published a dataset 4 days ago

AI-Math-TCS/tcs_dataset_v2

Viewer • Updated 4 days ago • 69.2k • 78

CohenQu 

updated a dataset 6 days ago

AI-Math-TCS/physics_questions

Viewer • Updated 6 days ago • 6.18k • 88

CohenQu 

updated a dataset 8 days ago

AI-Math-TCS/tcs_find_lemma

Viewer • Updated 8 days ago • 19.9k • 260

CohenQu 

published a dataset 8 days ago

AI-Math-TCS/tcs_find_lemma

Viewer • Updated 8 days ago • 19.9k • 260

CohenQu 

updated a dataset 8 days ago

AI-Math-TCS/tcs_proof_strategy

Viewer • Updated 8 days ago • 19k • 289

CohenQu 

published a dataset 8 days ago

AI-Math-TCS/tcs_proof_strategy

Viewer • Updated 8 days ago • 19k • 289

CohenQu 

updated a dataset 8 days ago

AI-Math-TCS/tcs_standalone_hard

Viewer • Updated 8 days ago • 20.4k • 90

CohenQu 

published a dataset 8 days ago

AI-Math-TCS/tcs_standalone_hard

Viewer • Updated 8 days ago • 20.4k • 90

CohenQu 

updated 3 datasets 9 days ago

AI-Math-TCS/physics_dags

Viewer • Updated 9 days ago • 209 • 68

AI-Math-TCS/tcs_questions

Viewer • Updated 8 days ago • 23.5k • 243

AI-Math-TCS/tcs_dags

Preview • Updated 9 days ago • 480

HerrHruby 

updated a dataset 14 days ago

AI-Math-TCS/tcs_dataset_v1_6_dags

Viewer • Updated 14 days ago • 456 • 49

HerrHruby 

published a dataset 14 days ago

AI-Math-TCS/tcs_dataset_v1_6_dags

Viewer • Updated 14 days ago • 456 • 49

HerrHruby 

updated a dataset 14 days ago

AI-Math-TCS/tcs_dataset_v1_6

Viewer • Updated 14 days ago • 8.89k • 69

HerrHruby 

published a dataset 14 days ago

AI-Math-TCS/tcs_dataset_v1_6

Viewer • Updated 14 days ago • 8.89k • 69

HerrHruby 

updated a dataset 15 days ago

AI-Math-TCS/tcs_dataset_v1_5_dags

Viewer • Updated 15 days ago • 379 • 40

HerrHruby 

published a dataset 15 days ago

AI-Math-TCS/tcs_dataset_v1_5_dags

Viewer • Updated 15 days ago • 379 • 40

HerrHruby 

updated a dataset 15 days ago

AI-Math-TCS/tcs_dataset_v1_5

Viewer • Updated 15 days ago • 7.38k • 51

HerrHruby 

published a dataset 15 days ago

AI-Math-TCS/tcs_dataset_v1_5

Viewer • Updated 15 days ago • 7.38k • 51