Skip to content

Latest commit

 

History

History
29 lines (18 loc) · 509 Bytes

README.md

File metadata and controls

29 lines (18 loc) · 509 Bytes
Raw

NL to FOL Parsing

Setup

  1. Create a new conda environment and install the required packages.
conda create -n nl2fol-local python=3.8
conda activate nl2fol-local
pip install -r requirements.txt
  1. Setup the environment variables.

Create a .env file in the root directory based on the .env.template file.

Usage

Use the notebook translate.ipynb to translate natural language to first-order logic.

Metrics

Tests

python3 -m unittest tests/*.py