TY  - RPRT
TI  - Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation
AU  - Yuan Yang
AU  - Siheng Xiong
AU  - Ali Payani
AU  - Ehsan Shareghi
AU  - Faramarz Fekri
PY  - 2023
UR  - https://arxiv.org/abs/2305.15541
ID  - 2305.15541
ER  -