login
Home
anders
[
ai
] [
papers
]
2025-04-17 17:13:48 +0000 UTC
[2405.02318] Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
ai
papers