NL2FOL
Translate natural language to first-order logic for detecting logical fallacies using LLMs and SMT solvers
Key Features
NL2FOL provides a complete pipeline for translating natural language statements into formal logic and verifying their validity.Multi-Stage Pipeline
Transform natural language into first-order logic through claim extraction, referring expressions, and property identification
LLM Integration
Support for GPT-4 and Llama models for intelligent natural language understanding
SMT Solver
Integrate with CVC4 for formal verification and satisfiability checking
Fallacy Detection
Automatically detect logical fallacies in natural language arguments
Counter-Examples
Generate human-readable counter-examples for invalid statements
Evaluation Metrics
Comprehensive metrics for assessing model performance
Quick Links
Installation
Install dependencies and set up NL2FOL
Quickstart
Run your first translation in minutes
API Reference
Explore the complete API documentation