GPT-4 本次发布的数据集 MALLS, 该数据集包含了34,000个高质量的、多样化的句子级别的自然语言与一阶逻辑配对,这些配对是从GPT-4中收集而来的。在创建此数据集时,我们采用了一个提示管道,通过调整提示以确保自然语言与一阶逻辑配对的多样性和有效性。该数据集的规模为34,000对,其任务是进行自然语言到一阶逻辑的翻译。
README 内容:
关于 GPT-4 , -
关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库,涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。





_1769672084863.jpg)