LLM4Rocq/miniF2F-rocq
收藏Hugging Face2025-05-14 更新2025-04-12 收录
下载链接：
https://hf-mirror.com/datasets/LLM4Rocq/miniF2F-rocq
下载链接
链接失效反馈官方服务：
资源简介：
该数据集遵循MIT许可证，标签为代码，数据量小于1000条。
The dataset is licensed under MIT, tagged as code, and contains less than 1,000 entries.
提供机构：
LLM4Rocq
