fvossel/groves
收藏Hugging Face2026-04-21 更新2026-04-26 收录
下载链接：
https://hf-mirror.com/datasets/fvossel/groves
下载链接
链接失效反馈官方服务：
资源简介：
---
license: cc-by-nc-4.0
task_categories:
- translation
language:
- en
tags:
- semantic-parsing
- first-order-logic
- formal-logic
- compositional-generalization
size_categories:
- 10K<n<100K
---
# Dataset Card: *Groves*
## Description
This dataset contains natural language (NL) to first-order logic (FOL) pairs.
The natural language inputs are based on the following datasets:
- [WillowNLtoFOL](https://huggingface.co/datasets/iedeveci/WillowNLtoFOL)
- [MALLS-v0](https://huggingface.co/datasets/yuan-yang/MALLS-v0)
The corresponding FOL expressions were newly generated and the dataset was subsequently filtered.
---
## Licensing
This dataset is based on data from:
- [WillowNLtoFOL](https://huggingface.co/datasets/iedeveci/WillowNLtoFOL) — originally licensed under **CC BY-NC-ND 4.0**
- [MALLS-v0](https://huggingface.co/datasets/yuan-yang/MALLS-v0) — licensed under **CC BY-NC 4.0**
The use of WillowNLtoFOL data is included **with permission from the original authors**.
Users of this dataset must comply with the original dataset licenses.
---
## Notes
Further details about dataset construction and evaluation will be provided in a forthcoming publication.
提供机构：
fvossel
