> ## Documentation Index
> Fetch the complete documentation index at: https://mintlify.com/lovishchopra/NL2FOL/llms.txt
> Use this file to discover all available pages before exploring further.

# NL2FOL Documentation

> Translate natural language to first-order logic for detecting logical fallacies using LLMs and SMT solvers

<div
  style={{
background: 'linear-gradient(135deg, #b21e1e 0%, #e59f82 100%)',
padding: '3rem 2rem',
borderRadius: '6px',
marginBottom: '2rem',
color: 'white'
}}
>
  <h1 style={{
    fontSize: '36px',
    fontWeight: 700,
    marginBottom: '1rem',
    color: 'white'
  }}>NL2FOL</h1>

  <p
    style={{
fontSize: '18px',
marginBottom: '2rem',
color: 'white'
}}
  >
    Translate natural language to first-order logic for detecting logical fallacies using LLMs and SMT solvers
  </p>

  <div style={{ display: 'flex', gap: '1rem' }}>
    <a
      href="/quickstart"
      style={{
  backgroundColor: '#c1272d',
  color: '#ffffff',
  padding: '0.75rem 1.5rem',
  borderRadius: '6px',
  textDecoration: 'none',
  fontWeight: 600
}}
    >
      Get Started
    </a>

    <a
      href="https://github.com/lovishchopra/NL2FOL"
      style={{
  backgroundColor: 'transparent',
  color: '#000000',
  padding: '0.75rem 1.5rem',
  borderRadius: '2px',
  textDecoration: 'none',
  fontWeight: 600,
  border: '2px solid white'
}}
    >
      View on GitHub
    </a>
  </div>
</div>

## Key Features

NL2FOL provides a complete pipeline for translating natural language statements into formal logic and verifying their validity.

<CardGroup cols={2}>
  <Card title="Multi-Stage Pipeline" icon="diagram-project" href="/concepts/translation-pipeline">
    Transform natural language into first-order logic through claim extraction, referring expressions, and property identification
  </Card>

  <Card title="LLM Integration" icon="brain" href="/examples/model-backends">
    Support for GPT-4 and Llama models for intelligent natural language understanding
  </Card>

  <Card title="SMT Solver" icon="calculator" href="/concepts/smt-solving">
    Integrate with CVC4 for formal verification and satisfiability checking
  </Card>

  <Card title="Fallacy Detection" icon="shield-check" href="/concepts/logical-fallacies">
    Automatically detect logical fallacies in natural language arguments
  </Card>

  <Card title="Counter-Examples" icon="lightbulb" href="/usage/interpretation">
    Generate human-readable counter-examples for invalid statements
  </Card>

  <Card title="Evaluation Metrics" icon="chart-line" href="/usage/evaluation">
    Comprehensive metrics for assessing model performance
  </Card>
</CardGroup>

## Quick Links

<CardGroup cols={3}>
  <Card title="Installation" icon="download" href="/installation">
    Install dependencies and set up NL2FOL
  </Card>

  <Card title="Quickstart" icon="rocket" href="/quickstart">
    Run your first translation in minutes
  </Card>

  <Card title="API Reference" icon="code" href="/api/nl2fol">
    Explore the complete API documentation
  </Card>
</CardGroup>

## Research

NL2FOL is based on research in natural language understanding and formal logic verification.

<Note>
  Read the full paper: [NL2FOL: Translating Natural Language to First Order Logic for Logical Fallacy Detection](https://arxiv.org/abs/2405.02318)
</Note>