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
/
data_file.jsonl
Commit History
Oct 9
6 days ago
12:42
Rename data_file.json to data_file.jsonl
RajasankarV
Verified signature
3b459f7
