Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2405.02318
Cited By
Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
18 April 2024
Abhinav Lalwani
Lovish Chopra
Christopher Hahn
Caroline Trippel
Zhijing Jin
Mrinmaya Sachan
LRM
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection"
Title
No papers
