naturalproofs/naturalproofs at master · wellecks/naturalproofs · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
encoder_decoder		encoder_decoder
README.md		README.md
__init__.py		__init__.py
analyze.py		analyze.py
baselines.py		baselines.py
dataloaders.py		dataloaders.py
model.py		model.py
model_bert_no_training.py		model_bert_no_training.py
naturalproofs_stein.py		naturalproofs_stein.py
predict.py		predict.py
tokenize_pairwise.py		tokenize_pairwise.py

README.md

The pairwise model implementation is contained in this directory.

model.py: pairwise model and training
tokenize_pairwise.py: tokenization
predict.py and analyze.py: evaluation

See the encoder_decoder directory for the joint and autoregressive models.