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
