init

Configuration/Configuration.py

Configuration/config.ini

Datasets/goldANDsilver_dataset_links.csv

Datasets/gold_dataset_links.csv

Datasets/silver_dataset_links.csv

Linker/AtomTokenizer.py

Linker/Linker.py

Linker/PositionalEncoding.py

Linker/Sinkhorn.py

Linker/__init__.py

Linker/atom_map.py

Linker/eval.py

Linker/utils_linker.py

NeuralProofNet/NeuralProofNet.py

README.md

Supertagger/Datasets/Utils/PostpreprocesTXT.py

Supertagger/Datasets/Utils/m2.txt

Supertagger/Datasets/index_to_pos1.pkl

Supertagger/Datasets/index_to_super.pkl

Supertagger/Datasets/m2_dataset.csv