Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
AI for TCS
classroom
Activity Feed
Follow
3
AI & ML interests
None defined yet.
Recent Activity
HerrHruby
updated
a dataset
9 days ago
AI-Math-TCS/tcs_dataset_v2
HerrHruby
published
a dataset
9 days ago
AI-Math-TCS/tcs_dataset_v2
CohenQu
updated
a dataset
11 days ago
AI-Math-TCS/physics_questions
View all activity
Team members
2
AI-Math-TCS
's datasets
24
Sort: Recently updated
AI-Math-TCS/tcs_dataset_v2
Viewer
•
Updated
9 days ago
•
69.2k
•
91
AI-Math-TCS/physics_questions
Viewer
•
Updated
11 days ago
•
6.18k
•
71
AI-Math-TCS/tcs_find_lemma
Viewer
•
Updated
13 days ago
•
19.9k
•
265
AI-Math-TCS/tcs_proof_strategy
Viewer
•
Updated
13 days ago
•
19k
•
314
AI-Math-TCS/tcs_standalone_hard
Viewer
•
Updated
13 days ago
•
20.4k
•
107
AI-Math-TCS/tcs_questions
Viewer
•
Updated
13 days ago
•
23.5k
•
244
AI-Math-TCS/tcs_dags
Preview
•
Updated
14 days ago
•
480
AI-Math-TCS/physics_dags
Viewer
•
Updated
14 days ago
•
209
•
48
AI-Math-TCS/tcs_dataset_v1_6_dags
Viewer
•
Updated
19 days ago
•
456
•
56
AI-Math-TCS/tcs_dataset_v1_6
Viewer
•
Updated
19 days ago
•
8.89k
•
76
AI-Math-TCS/tcs_dataset_v1_5_dags
Viewer
•
Updated
20 days ago
•
379
•
42
AI-Math-TCS/tcs_dataset_v1_5
Viewer
•
Updated
20 days ago
•
7.38k
•
52
AI-Math-TCS/tcs_dataset_v1_4
Viewer
•
Updated
21 days ago
•
6.12k
•
51
AI-Math-TCS/tcs_dataset_v1_3
Viewer
•
Updated
21 days ago
•
5.58k
•
56
AI-Math-TCS/tcs_dataset_v1_2
Viewer
•
Updated
22 days ago
•
3.85k
•
56
AI-Math-TCS/tcs_dataset_v1_1
Viewer
•
Updated
28 days ago
•
2.61k
•
62
AI-Math-TCS/BhattiproluGLR25
Viewer
•
Updated
29 days ago
•
22
•
39
AI-Math-TCS/paper
Viewer
•
Updated
Apr 22
•
99
•
40
AI-Math-TCS/tcs_dataset_v1
Viewer
•
Updated
Apr 22
•
1.35k
•
140
AI-Math-TCS/tcs_benchmark_hard_demo_eval
Viewer
•
Updated
Apr 14
•
252
•
10
AI-Math-TCS/tcs_benchmark_hard_demo
Viewer
•
Updated
Apr 13
•
63
•
19
AI-Math-TCS/tcs_benchmark_demo_eval
Viewer
•
Updated
Apr 13
•
260
•
10
AI-Math-TCS/tcs_benchmark_demo
Viewer
•
Updated
Apr 12
•
65
•
6
AI-Math-TCS/ref_tree
Viewer
•
Updated
Apr 8
•
43
•
6