TY  - RPRT
TI  - FOLIO: Natural Language Reasoning with First-Order Logic
AU  - Simeng Han
AU  - Hailey Schoelkopf
AU  - Yilun Zhao
AU  - Zhenting Qi
AU  - Martin Riddell
AU  - Wenfei Zhou
AU  - James Coady
AU  - David Peng
AU  - Yujie Qiao
AU  - Luke Benson
AU  - Lucy Sun
AU  - Alex Wardle-Solano
AU  - Hannah Szabo
AU  - Ekaterina Zubova
AU  - Matthew Burtell
AU  - Jonathan Fan
AU  - Yixin Liu
AU  - Brian Wong
AU  - Malcolm Sailor
AU  - Ansong Ni
AU  - Linyong Nan
AU  - Jungo Kasai
AU  - Tao Yu
AU  - Rui Zhang
AU  - Alexander R. Fabbri
AU  - Wojciech Kryscinski
AU  - Semih Yavuz
AU  - Ye Liu
AU  - Xi Victoria Lin
AU  - Shafiq Joty
AU  - Yingbo Zhou
AU  - Caiming Xiong
AU  - Rex Ying
AU  - Arman Cohan
AU  - Dragomir Radev
PY  - 2024
UR  - https://arxiv.org/abs/2209.00840
ID  - 2209.00840
ER  -