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 Fabbri, Alexander R. and Kryscinski, Wojciech and Lin, Xi Victoria and Xiong, Caiming and Radev, Dragomir},
  journal={arXiv preprint arXiv:2209.00840},
  url = {https://arxiv.org/abs/2209.00840},
  year={2022}
}
```
task_categories:text-classification task_ids:natural-language-inference task_ids:multi-input-text-classification language:en license:cc arxiv:2209.00840 region:us
{"language": ["en"], "license": "cc", "task_categories": ["text-classification"], "task_ids": ["natural-language-inference", "multi-input-text-classification"]}
TAGS
#task_categories-text-classification #task_ids-natural-language-inference #task_ids-multi-input-text-classification #language-English #license-cc #arxiv-2209.00840 #region-us 

URL

TAGS
#task_categories-text-classification #task_ids-natural-language-inference #task_ids-multi-input-text-classification #language-English #license-cc #arxiv-2209.00840 #region-us 

passage: TAGS
#task_categories-text-classification #task_ids-natural-language-inference #task_ids-multi-input-text-classification #language-English #license-cc #arxiv-2209.00840 #region-us 
