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/TCSBench_2026_ans

Viewer • Updated 4 days ago • 331 • 48

HerrHruby 

published a dataset 4 days ago

AI-Math-TCS/TCSBench_2026_ans

Viewer • Updated 4 days ago • 331 • 48

HerrHruby 

updated a dataset 4 days ago

AI-Math-TCS/tcs_dags

Viewer • Updated 4 days ago • 1.56k • 471

HerrHruby 

updated a dataset 6 days ago

AI-Math-TCS/focs_2026_questions_preview

Viewer • Updated 6 days ago • 10 • 32

HerrHruby 

published a dataset 6 days ago

AI-Math-TCS/focs_2026_questions_preview

Viewer • Updated 6 days ago • 10 • 32

HerrHruby 

updated a dataset 6 days ago

AI-Math-TCS/tcs_questions

Viewer • Updated 6 days ago • 25.1k • 109 • 2

HerrHruby 

updated a dataset 2 months ago

AI-Math-TCS/ref_tree

Viewer • Updated Jul 15 • 213 • 26

HerrHruby 

updated a dataset 3 months ago

AI-Math-TCS/tcs_papers_v1

Viewer • Updated Jun 15 • 538 • 11

HerrHruby 

published a dataset 3 months ago

AI-Math-TCS/tcs_papers_v1

Viewer • Updated Jun 15 • 538 • 11

CohenQu 

updated 2 datasets 4 months ago

AI-Math-TCS/physics_questions

Viewer • Updated May 19 • 6.18k • 43

AI-Math-TCS/tcs_find_lemma

Viewer • Updated May 17 • 21.3k • 86

CohenQu 

published a dataset 4 months ago

AI-Math-TCS/tcs_find_lemma

Viewer • Updated May 17 • 21.3k • 86

CohenQu 

updated a dataset 4 months ago

AI-Math-TCS/tcs_proof_strategy

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

CohenQu 

published a dataset 4 months ago

AI-Math-TCS/tcs_proof_strategy

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

CohenQu 

updated a dataset 4 months ago

AI-Math-TCS/tcs_standalone_hard

Viewer • Updated May 17 • 24.3k • 240

CohenQu 

published a dataset 4 months ago

AI-Math-TCS/tcs_standalone_hard

Viewer • Updated May 17 • 24.3k • 240

CohenQu 

updated 3 datasets 4 months ago

AI-Math-TCS/physics_dags

Viewer • Updated May 17 • 209 • 15

AI-Math-TCS/tcs_questions

Viewer • Updated 6 days ago • 25.1k • 109 • 2

AI-Math-TCS/tcs_dags

Viewer • Updated 4 days ago • 1.56k • 471

HerrHruby 

updated a dataset 4 months ago

AI-Math-TCS/tcs_dataset_v1_6_dags

Viewer • Updated May 11 • 456 • 9