Search Results for author:
Found 1 papers, 0 papers with code
Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
In this paper, we introduce Natural Language to First-Order Logic (NL2FOL), a framework to autoformalize natural language to FOL step by step using Large Language Models (LLMs).
Cannot find the paper you are looking for? You can
Submit a new open access paper.
