Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
BibTex
Copy
@Article{Lalwani2024NL2FOLTN,
author = {Abhinav Lalwani and Lovish Chopra and Christopher Hahn and Caroline Trippel and Zhijing Jin and Mrinmaya Sachan},
booktitle = {arXiv.org},
journal = {ArXiv},
title = {NL2FOL: Translating Natural Language to First-Order Logic for Logical Fallacy Detection},
volume = {abs/2405.02318},
year = {2024}
}
Transform this paper into an audio lecture
Get an engaging lecture and Q&A format to quickly understand the paper in minutes, perfect for learning on the go.