Commits on Source (2)
-
Caroline de Pourtalès authored
-
Caroline de Pourtalès authored
Prepare paper See merge request !2
Showing
- Configuration/config.ini 2 additions, 9 deletionsConfiguration/config.ini
- Datasets/originals/processingTXT.py 3 additions, 42 deletionsDatasets/originals/processingTXT.py
- Linker/Linker.py 71 additions, 88 deletionsLinker/Linker.py
- Linker/utils_linker.py 39 additions, 41 deletionsLinker/utils_linker.py
- NeuralProofNet/NeuralProofNet.py 13 additions, 48 deletionsNeuralProofNet/NeuralProofNet.py
- README.md 81 additions, 28 deletionsREADME.md
- SuperTagger/Datasets/index_to_pos1.pkl 0 additions, 0 deletionsSuperTagger/Datasets/index_to_pos1.pkl
- SuperTagger/Datasets/index_to_super.pkl 0 additions, 0 deletionsSuperTagger/Datasets/index_to_super.pkl
- SuperTagger/Datasets/m2_dataset.csv 15770 additions, 0 deletionsSuperTagger/Datasets/m2_dataset.csv
- SuperTagger/Datasets/m2_dataset_V2.csv 15770 additions, 0 deletionsSuperTagger/Datasets/m2_dataset_V2.csv
- SuperTagger/Datasets/originals/m2.txt 15770 additions, 0 deletionsSuperTagger/Datasets/originals/m2.txt
- SuperTagger/Datasets/originals/processingTXT.py 135 additions, 0 deletionsSuperTagger/Datasets/originals/processingTXT.py
- SuperTagger/README.md 25 additions, 0 deletionsSuperTagger/README.md
- SuperTagger/SuperTagger/SentencesTokenizer.py 42 additions, 0 deletionsSuperTagger/SuperTagger/SentencesTokenizer.py
- SuperTagger/SuperTagger/SuperTagger.py 401 additions, 0 deletionsSuperTagger/SuperTagger/SuperTagger.py
- SuperTagger/SuperTagger/SymbolTokenizer.py 58 additions, 0 deletionsSuperTagger/SuperTagger/SymbolTokenizer.py
- SuperTagger/SuperTagger/Tagging_bert_model.py 73 additions, 0 deletionsSuperTagger/SuperTagger/Tagging_bert_model.py
- SuperTagger/SuperTagger/eval.py 19 additions, 0 deletionsSuperTagger/SuperTagger/eval.py
- SuperTagger/__init__.py 1 addition, 0 deletionsSuperTagger/__init__.py
- SuperTagger/setup.cfg 4 additions, 0 deletionsSuperTagger/setup.cfg
SuperTagger/Datasets/index_to_pos1.pkl
0 → 100644
File added
SuperTagger/Datasets/index_to_super.pkl
0 → 100644
File added
SuperTagger/Datasets/m2_dataset.csv
0 → 100644
This diff is collapsed.
SuperTagger/Datasets/m2_dataset_V2.csv
0 → 100644
This diff is collapsed.
SuperTagger/Datasets/originals/m2.txt
0 → 100644
This diff is collapsed.
SuperTagger/README.md
0 → 100644
SuperTagger/SuperTagger/SuperTagger.py
0 → 100644
SuperTagger/SuperTagger/SymbolTokenizer.py
0 → 100644
SuperTagger/SuperTagger/eval.py
0 → 100644
SuperTagger/__init__.py
0 → 100644
SuperTagger/setup.cfg
0 → 100644