AI-Math-TCS/TCSBench_2026_ans
Viewer • Updated • 331 • 35
AI for TCS
classroom
AI & ML interests
None defined yet.
Recent Activity
AI-Math-TCS/tcs_dags
Viewer • Updated • 1.56k • 471
AI-Math-TCS/tcs_questions
Viewer • Updated • 25.1k • 108 • 2
AI-Math-TCS/focs_2026_questions_preview
Viewer • Updated • 10 • 31
AI-Math-TCS/ref_tree
Viewer • Updated • 213 • 25
AI-Math-TCS/tcs_papers_v1
Viewer • Updated • 538 • 10
AI-Math-TCS/physics_questions
Viewer • Updated • 6.18k • 47
AI-Math-TCS/tcs_find_lemma
Viewer • Updated • 21.3k • 82
AI-Math-TCS/tcs_proof_strategy
Viewer • Updated • 19k • 61 • 1
AI-Math-TCS/tcs_standalone_hard
Viewer • Updated • 24.3k • 239
AI-Math-TCS/physics_dags
Viewer • Updated • 209 • 12
AI-Math-TCS/tcs_dataset_v1_6_dags
Viewer • Updated • 456 • 9
AI-Math-TCS/tcs_dataset_v1_6
Viewer • Updated • 8.89k • 24
AI-Math-TCS/tcs_dataset_v1_5_dags
Viewer • Updated • 379 • 5
AI-Math-TCS/tcs_dataset_v1_5
Viewer • Updated • 7.38k • 24
AI-Math-TCS/tcs_dataset_v1_4
Viewer • Updated • 6.12k • 14
AI-Math-TCS/tcs_dataset_v1_3
Viewer • Updated • 5.58k • 17
AI-Math-TCS/tcs_dataset_v1_2
Viewer • Updated • 3.85k • 23
AI-Math-TCS/tcs_dataset_v1_1
Viewer • Updated • 2.61k • 32
AI-Math-TCS/BhattiproluGLR25
Viewer • Updated • 22 • 17
AI-Math-TCS/paper
Viewer • Updated • 99 • 16
AI-Math-TCS/tcs_dataset_v1
Viewer • Updated • 1.35k • 29
AI-Math-TCS/tcs_benchmark_hard_demo_eval
Viewer • Updated • 252 • 29
AI-Math-TCS/tcs_benchmark_hard_demo
Viewer • Updated • 63 • 28
AI-Math-TCS/tcs_benchmark_demo_eval
Viewer • Updated • 260 • 37
AI-Math-TCS/tcs_benchmark_demo
Viewer • Updated • 65 • 23