FrenzyMath/state_tactic_pairs
收藏Hugging Face2025-07-11 更新2025-08-09 收录
下载链接：
https://hf-mirror.com/datasets/FrenzyMath/state_tactic_pairs
下载链接
链接失效反馈官方服务：
资源简介：
这个数据集包含了56,407个状态-策略对，这些数据对是通过专家迭代方法收集的，用于训练REAL-Prover模型。
This dataset contains 56,407 state-tactic pairs collected through expert iteration for training REAL-Prover.
提供机构：
FrenzyMath
