├── .github └── workflows │ └── format_code.yml ├── .gitignore ├── LICENSE ├── README.md ├── check_data.py ├── common.py ├── images └── nlproofs.jpg ├── mypy.ini ├── nlproofs.yaml ├── preprocess_ruletaker.py ├── prover ├── cli_ruletaker_single_shot_t5-large.yaml ├── cli_ruletaker_stepwise_t5-large.yaml ├── cli_task1_single_shot_t5-large.yaml ├── cli_task1_stepwise_t5-large.yaml ├── cli_task2_single_shot_t5-large.yaml ├── cli_task2_stepwise_t5-large.yaml ├── datamodule.py ├── evaluate.py ├── main.py ├── model.py ├── proof.py └── search.py ├── scripts └── prompting.py └── verifier ├── cli_entailmentbank_task1.yaml ├── cli_entailmentbank_task2.yaml ├── cli_ruletaker.yaml ├── datamodule.py ├── main.py └── model.py /.github/workflows/format_code.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/.github/workflows/format_code.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/README.md -------------------------------------------------------------------------------- /check_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/check_data.py -------------------------------------------------------------------------------- /common.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/common.py -------------------------------------------------------------------------------- /images/nlproofs.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/images/nlproofs.jpg -------------------------------------------------------------------------------- /mypy.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/mypy.ini -------------------------------------------------------------------------------- /nlproofs.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/nlproofs.yaml -------------------------------------------------------------------------------- /preprocess_ruletaker.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/preprocess_ruletaker.py -------------------------------------------------------------------------------- /prover/cli_ruletaker_single_shot_t5-large.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/prover/cli_ruletaker_single_shot_t5-large.yaml -------------------------------------------------------------------------------- /prover/cli_ruletaker_stepwise_t5-large.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/prover/cli_ruletaker_stepwise_t5-large.yaml -------------------------------------------------------------------------------- /prover/cli_task1_single_shot_t5-large.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/prover/cli_task1_single_shot_t5-large.yaml -------------------------------------------------------------------------------- /prover/cli_task1_stepwise_t5-large.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/prover/cli_task1_stepwise_t5-large.yaml -------------------------------------------------------------------------------- /prover/cli_task2_single_shot_t5-large.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/prover/cli_task2_single_shot_t5-large.yaml -------------------------------------------------------------------------------- /prover/cli_task2_stepwise_t5-large.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/prover/cli_task2_stepwise_t5-large.yaml -------------------------------------------------------------------------------- /prover/datamodule.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/prover/datamodule.py -------------------------------------------------------------------------------- /prover/evaluate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/prover/evaluate.py -------------------------------------------------------------------------------- /prover/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/prover/main.py -------------------------------------------------------------------------------- /prover/model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/prover/model.py -------------------------------------------------------------------------------- /prover/proof.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/prover/proof.py -------------------------------------------------------------------------------- /prover/search.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/prover/search.py -------------------------------------------------------------------------------- /scripts/prompting.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/scripts/prompting.py -------------------------------------------------------------------------------- /verifier/cli_entailmentbank_task1.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/verifier/cli_entailmentbank_task1.yaml -------------------------------------------------------------------------------- /verifier/cli_entailmentbank_task2.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/verifier/cli_entailmentbank_task2.yaml -------------------------------------------------------------------------------- /verifier/cli_ruletaker.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/verifier/cli_ruletaker.yaml -------------------------------------------------------------------------------- /verifier/datamodule.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/verifier/datamodule.py -------------------------------------------------------------------------------- /verifier/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/verifier/main.py -------------------------------------------------------------------------------- /verifier/model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/princeton-nlp/NLProofS/HEAD/verifier/model.py --------------------------------------------------------------------------------