Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Datasets:
RajasankarV
/
LeanCode-OpenAI-Math-Grouping
Like
0
Languages:
English
Size:
100K<n<1M
Tags:
lean
openai
math
clustering
code
License:
apache-2.0
Dataset card
Data Studio
Files
Files and versions
xet
Community
main
LeanCode-OpenAI-Math-Grouping
933 MB
Ctrl+K
Ctrl+K
1 contributor
History:
9 commits
RajasankarV
Update README.md
7272627
verified
2 days ago
.gitattributes
Safe
2.82 kB
Rename rows_clusters.json to rows_clusters.jsonl
2 days ago
README.md
Safe
2.77 kB
Update README.md
2 days ago
data_file.jsonl
343 MB
xet
Rename data_file.json to data_file.jsonl
2 days ago
docs_clusters.jsonl
Safe
337 kB
Rename docs_clusters.json to docs_clusters.jsonl
2 days ago
line_data.jsonl
545 MB
xet
Rename line_data.json to line_data.jsonl
2 days ago
rows_clusters.jsonl
44.7 MB
xet
Rename rows_clusters.json to rows_clusters.jsonl
2 days ago
