mlfoundations-dev/stackexchange_proofassistants

这是一个包含指令和完成情况的数据集，还包括对话信息。数据集分为训练集，共有2606个示例。每个示例包含指令文本、完成文本以及一个from和value组成的对话列表。This dataset includes instructions and completion scenarios, along with conversation information. The dataset is split into a training set with a total of 2606 examples. Each example contains an instruction text, a completion text, and a list of conversations composed of from and value.