-
- Downloads
adding class neuralproofnet
Showing
- Configuration/Configuration.py 7 additions, 12 deletionsConfiguration/Configuration.py
- Configuration/config.ini 19 additions, 20 deletionsConfiguration/config.ini
- Linker/AtomTokenizer.py 23 additions, 0 deletionsLinker/AtomTokenizer.py
- Linker/Linker.py 126 additions, 64 deletionsLinker/Linker.py
- Linker/PositionalEncoding.py 1 addition, 1 deletionLinker/PositionalEncoding.py
- Linker/__init__.py 1 addition, 0 deletionsLinker/__init__.py
- Linker/eval.py 4 additions, 1 deletionLinker/eval.py
- Linker/utils_linker.py 78 additions, 68 deletionsLinker/utils_linker.py
- NeuralProofNet/NeuralProofNet.py 62 additions, 33 deletionsNeuralProofNet/NeuralProofNet.py
- README.md 42 additions, 5 deletionsREADME.md
- SuperTagger 1 addition, 0 deletionsSuperTagger
- find_config.py 61 additions, 0 deletionsfind_config.py
- init.sh 3 additions, 0 deletionsinit.sh
- postprocessing.py 119 additions, 0 deletionspostprocessing.py
- requirements.txt 1 addition, 5 deletionsrequirements.txt
- train.py 27 additions, 7 deletionstrain.py
- utils.py 15 additions, 2 deletionsutils.py
Loading
Please register or sign in to comment