4 citations · 4 across the 5 of their papers we have counts for
1 paper · 1 filter
Abhinav Lalwani, Tasha Kim, Lovish Chopra +3
Translating natural language into formal language such as First-Order Logic (FOL) is a foundational challenge in NLP with wide-ranging applications in automated reasoning, misinfor…