Replication Data for: Explainable reasoning with a controlled natural language
收藏DataCite Commons2025-08-28 更新2026-04-25 收录
下载链接：
https://dataverse.nl/citation?persistentId=doi:10.34894/0ANEPG
下载链接
链接失效反馈官方服务：
资源简介：
Six datasets that have been used to evaluate reasoning with a Controlled Natural Language. A seventh file contains the grammar specification of the Controlled Natural Language.
* 'BNF Grammar.pdf' contains the grammar specification of the Controlled Natural Language in Backus-Naur Form.
* 'syllogism_dataset.csv' contains the adapted Kaggle dataset.
* 'puzzles_dataset.csv' contains logical puzzles found on the internet and reformulated in the Controlled Natural Language if necessary.
* 'gpt_dataset_easy.csv', 'gpt_dataset_hard.csv' and 'deepseek_dataset.csv' contain reasoning examples generated by Large Language Models.
* 'interface_examples.csv' contains the inference example used in the user tests.
提供机构：
DataverseNL
创建时间：
2025-08-26
