├── .gitignore ├── Prove_writer.py ├── README.md ├── eval_MiniF2F.py ├── eval_dataset ├── MiniF2F_test_Lean4.json ├── MiniF2F_valid_Lean4.json └── MiniF2F_valid_partial_withProof_commented.json ├── requirements.txt └── utils.py /.gitignore: -------------------------------------------------------------------------------- 1 | test.ipynb -------------------------------------------------------------------------------- /Prove_writer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickySkywalker/TheoremLlama/HEAD/Prove_writer.py -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickySkywalker/TheoremLlama/HEAD/README.md -------------------------------------------------------------------------------- /eval_MiniF2F.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickySkywalker/TheoremLlama/HEAD/eval_MiniF2F.py -------------------------------------------------------------------------------- /eval_dataset/MiniF2F_test_Lean4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickySkywalker/TheoremLlama/HEAD/eval_dataset/MiniF2F_test_Lean4.json -------------------------------------------------------------------------------- /eval_dataset/MiniF2F_valid_Lean4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickySkywalker/TheoremLlama/HEAD/eval_dataset/MiniF2F_valid_Lean4.json -------------------------------------------------------------------------------- /eval_dataset/MiniF2F_valid_partial_withProof_commented.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickySkywalker/TheoremLlama/HEAD/eval_dataset/MiniF2F_valid_partial_withProof_commented.json -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickySkywalker/TheoremLlama/HEAD/requirements.txt -------------------------------------------------------------------------------- /utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/RickySkywalker/TheoremLlama/HEAD/utils.py --------------------------------------------------------------------------------