dassarthak18/FStarDataset-V2-Conversation
收藏Hugging Face2025-11-06 更新2025-11-15 收录
下载链接：
https://hf-mirror.com/datasets/dassarthak18/FStarDataset-V2-Conversation
下载链接
链接失效反馈官方服务：
资源简介：
F*证明完成数据集（聊天格式）：这是一个基于F*功能合成和证明完成的预处理的聊天风格JSONL结构数据集，用于监督微调语言模型。
F* Proof Completion Dataset (Chat Format): This is a preprocessed chat-style JSONL structured dataset for function synthesis and proof completion in F*, used for supervised fine-tuning of language models.
提供机构：
dassarthak18
