TY  - RPRT
TI  - Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
AU  - Abhinav Lalwani
AU  - Tasha Kim
AU  - Lovish Chopra
AU  - Christopher Hahn
AU  - Zhijing Jin
AU  - Mrinmaya Sachan
PY  - 2025
UR  - https://arxiv.org/abs/2405.02318
ID  - 2405.02318
ER  -