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.