CharlyR/VeriTikz
收藏Hugging Face2025-10-24 更新2025-10-25 收录
下载链接：
https://hf-mirror.com/datasets/CharlyR/VeriTikz
下载链接
链接失效反馈官方服务：
资源简介：
这是一个编程代码相关的数据集，包含代码段、模板解决方案代码、原始模板、解决方案等信息。数据集分为训练集，共有512个示例。
This is a programming code-related dataset containing code snippets, template solution code, original templates, solutions, etc. The dataset is split into a training set with a total of 512 examples.
提供机构：
CharlyR
