8 citations · 12 across the 2 of their papers we have counts for
Showing cs.CLShow all
2 papers · 1 filter
cs.CL2024★ 4 cited
Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
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…
cs.CL2022
Logical Fallacy Detection
Zhijing Jin, Abhinav Lalwani, Tejas Vaidhya +6
Reasoning is central to human intelligence. However, fallacious arguments are common, and some exacerbate problems such as spreading misinformation about climate change. In this pa…