@misc{indiciae75ea7cba5090,
  title = {Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation},
  author = {Yuan Yang and Siheng Xiong and Ali Payani and Ehsan Shareghi and Faramarz Fekri},
  year = {2023},
  url = {https://arxiv.org/abs/2305.15541},
  note = {Source identifier: 2305.15541}
}