five

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
5,000+
优质数据集
54 个
任务类型
进入经典数据集
二维码
社区交流群

面向社区/商业的数据集话题

二维码
科研交流群

面向高校/科研机构的开源数据集话题

数据驱动未来

携手共赢发展

商业合作