Sign inGet started
Dataset · Hugging Face

tasksource/folio

https://github.com/Yale-LILY/FOLIO @article{han2022folio, title={FOLIO: Natural Language Reasoning with First-Order Logic}, author = {Han, Simeng and Schoelkopf, Hailey and Zhao, Yilun and Qi, Zhenting and Riddell, Martin and Benson, Luke and Sun, Lucy and Zubova, Ekaterina and Qiao, Yujie and Burtell, Matthew and Peng, David and Fan, Jonathan and Liu, Yixin and Wong, Brian and Sailor, Malcolm and Ni, Ansong and Nan, Linyong and Kasai, Jungo and Yu, Tao and Zhang, Rui and Joty, Shafiq and… See the full description on the dataset page: https://huggingface.co/datasets/tasksource/folio.

Author / organizationtasksource
License (as declared)cc
Downloads8.1K (as reported by Hugging Face)
Likes20
Created21 February 2023
Last updated at source16 October 2026
Embed this entry
<iframe src="https://silytics.si/embed/item/5aabd416-0636-4bcf-9259-602261819b1f" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Popularity, last 6 days

8,073 now (+4,564 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.

More from tasksource

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 21 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.