An in-progress tool to create and train natural language reasoning systems using dependency parsing, higher-order logic theorem proving, and text generation.
Right now it is a script that translates a natural language sentence to a higher-order logical form and adds it to an Isabelle theory.
pip install -r requirements.txt
usage: nl_hol_neural_reasoner.py [-h] isabelle
positional arguments:
isabelle isabelle file output
optional arguments:
-h, --help show this help message and exit