Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation ACL

Yuan Yang | Siheng Xiong | Ali Payani | Ehsan Shareghi | Faramarz Fekri |

Large Language Models Can Learn Temporal Reasoning ACL

Siheng Xiong | Ali Payani | Ramana Kompella | Faramarz Fekri |