This repository contains a Python implementation of a Neural Proof Net using TLGbank data.
This repository contains a Python implementation of a Proof Net using TLGbank data.
This code was designed to work with the [DeepGrail Tagger](https://gitlab.irit.fr/pnria/global-helper/deepgrail_tagger).
This code was designed to work with the [DeepGrail Tagger](https://gitlab.irit.fr/pnria/global-helper/deepgrail_tagger).
In this repository we only use the embedding of the word from the tagger and the tags from the dataset, but next step is to use the prediction of the tagger for the linking step.
In this repository we only use the embedding of the word from the tagger and the tags from the dataset, but next step is to use the prediction of the tagger for the linking step.
...
@@ -9,6 +9,7 @@ In this repository we only use the embedding of the word from the tagger and the
...
@@ -9,6 +9,7 @@ In this repository we only use the embedding of the word from the tagger and the
### Installation
### Installation
Python 3.9.10 **(Warning don't use Python 3.10**+**)**
Python 3.9.10 **(Warning don't use Python 3.10**+**)**