AI for TCS

classroom

AI & ML interests

None defined yet.

Recent Activity

HerrHruby updated a dataset about 9 hours ago

AI-Math-TCS/tcs_questions

HerrHruby updated a dataset about 17 hours ago

AI-Math-TCS/tcs_dags

HerrHruby updated a dataset about 21 hours ago

AI-Math-TCS/ref_tree

View all activity

models 0

None public yet

datasets 25

AI-Math-TCS/tcs_questions

Viewer • Updated about 9 hours ago • 27k • 283

AI-Math-TCS/tcs_dags

Viewer • Updated about 17 hours ago • 1.15k • 128

AI-Math-TCS/ref_tree

Viewer • Updated about 21 hours ago • 213 • 30

AI-Math-TCS/tcs_papers_v1

Viewer • Updated Jun 15 • 538 • 110

AI-Math-TCS/tcs_dataset_v2

Viewer • Updated May 21 • 69.2k • 254

AI-Math-TCS/physics_questions

Viewer • Updated May 19 • 6.18k • 41

AI-Math-TCS/tcs_find_lemma

Viewer • Updated May 17 • 19.9k • 73

AI-Math-TCS/tcs_proof_strategy

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

AI-Math-TCS/tcs_standalone_hard

Viewer • Updated May 17 • 20.4k • 285

AI-Math-TCS/physics_dags

Viewer • Updated May 17 • 209 • 93

View 25 datasets