AI-Math-TCS/tcs_dataset_v2
Viewer • Updated • 69.2k • 95
AI for TCS
classroom
AI & ML interests
None defined yet.
Recent Activity
View all activity
models 0
None public yet
datasets 24
AI-Math-TCS/physics_questions
Viewer • Updated • 6.18k • 62
AI-Math-TCS/tcs_find_lemma
Viewer • Updated • 19.9k • 332
AI-Math-TCS/tcs_proof_strategy
Viewer • Updated • 19k • 341
AI-Math-TCS/tcs_standalone_hard
Viewer • Updated • 20.4k • 116
AI-Math-TCS/tcs_questions
Viewer • Updated • 23.5k • 244
AI-Math-TCS/tcs_dags
Preview • Updated • 479
AI-Math-TCS/physics_dags
Viewer • Updated • 209 • 45
AI-Math-TCS/tcs_dataset_v1_6_dags
Viewer • Updated • 456 • 59
AI-Math-TCS/tcs_dataset_v1_6
Viewer • Updated • 8.89k • 76