Yuxuan13/leanworkbook_with_responses_32k_demo
收藏Hugging Face2025-12-12 更新2025-12-20 收录
下载链接：
https://hf-mirror.com/datasets/Yuxuan13/leanworkbook_with_responses_32k_demo
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含多个字段，如id、status、tactic、state_before、state_after、natural_language_statement、answer、formal_statement、problem、model_responses和max_new_token_list。数据集仅包含一个名为train的分割，具有指定的字节数和示例数。下载大小和数据集大小也已提供。
The dataset includes various fields such as id, status, tactic, state_before, state_after, natural_language_statement, answer, formal_statement, problem, model_responses, and max_new_token_list. The dataset has a single split named train with a specified number of bytes and examples. The download and dataset sizes are also provided.
提供机构：
Yuxuan13
