Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection.

Abhinav Lalwani, Tasha Kim, Lovish Chopra, Christopher Hahn, Zhijing Jin, Mrinmaya Sachan

Browse the full IJCNLP paper archive.