LICENSE
MANIFEST.in
README.md
pyproject.toml
setup.py
ReProver/.git
ReProver/.gitignore
ReProver/LICENSE
ReProver/README.md
ReProver/__init__.py
ReProver/common.py
ReProver/common_cy.c
ReProver/common_cy.html
ReProver/common_cy.pyi
ReProver/common_cy.pyx
ReProver/mypy.ini
ReProver/pyproject.toml
ReProver/.github/workflows/format_code.yaml
ReProver/generation/__init__.py
ReProver/generation/datamodule.py
ReProver/generation/main.py
ReProver/generation/model.py
ReProver/generation/preprocess.py
ReProver/generation/confs/cli_lean4_novel_premises.yaml
ReProver/generation/confs/cli_lean4_random.yaml
ReProver/images/ReProver.jpg
ReProver/prover/__init__.py
ReProver/prover/evaluate.py
ReProver/prover/proof_search.py
ReProver/prover/search_tree.py
ReProver/prover/tactic_generator.py
ReProver/retrieval/__init__.py
ReProver/retrieval/datamodule.py
ReProver/retrieval/evaluate.py
ReProver/retrieval/index.py
ReProver/retrieval/main.py
ReProver/retrieval/model.py
ReProver/retrieval/bm25/README.md
ReProver/retrieval/bm25/__init__.py
ReProver/retrieval/bm25/main.py
ReProver/retrieval/bm25/train_tokenizer.py
ReProver/retrieval/confs/cli_dummy.yaml
ReProver/retrieval/confs/cli_lean4_novel_premises.yaml
ReProver/retrieval/confs/cli_lean4_random.yaml
ReProver/scripts/convert_checkpoint.py
ReProver/scripts/data_stats.py
ReProver/scripts/download_data.py
ReProver/scripts/minimal_example.sh
ReProver/scripts/stats.py
ReProver/scripts/trace_repos.py
lean_reinforcement/__init__.py
lean_reinforcement.egg-info/PKG-INFO
lean_reinforcement.egg-info/SOURCES.txt
lean_reinforcement.egg-info/dependency_links.txt
lean_reinforcement.egg-info/requires.txt
lean_reinforcement.egg-info/top_level.txt
lean_reinforcement/agent/__init__.py
lean_reinforcement/agent/proxies.py
lean_reinforcement/agent/runner.py
lean_reinforcement/agent/transformer.py
lean_reinforcement/agent/value_head.py
lean_reinforcement/agent/mcts/__init__.py
lean_reinforcement/agent/mcts/alphazero.py
lean_reinforcement/agent/mcts/base_mcts.py
lean_reinforcement/agent/mcts/guidedrollout.py
lean_reinforcement/agent/mcts/mcts_cy/__init__.py
lean_reinforcement/agent/mcts/mcts_cy/alphazero_cy.c
lean_reinforcement/agent/mcts/mcts_cy/alphazero_cy.html
lean_reinforcement/agent/mcts/mcts_cy/alphazero_cy.pyi
lean_reinforcement/agent/mcts/mcts_cy/alphazero_cy.pyx
lean_reinforcement/agent/mcts/mcts_cy/base_mcts_cy.c
lean_reinforcement/agent/mcts/mcts_cy/base_mcts_cy.html
lean_reinforcement/agent/mcts/mcts_cy/base_mcts_cy.pxd
lean_reinforcement/agent/mcts/mcts_cy/base_mcts_cy.pyi
lean_reinforcement/agent/mcts/mcts_cy/base_mcts_cy.pyx
lean_reinforcement/agent/mcts/mcts_cy/guidedrollout_cy.c
lean_reinforcement/agent/mcts/mcts_cy/guidedrollout_cy.html
lean_reinforcement/agent/mcts/mcts_cy/guidedrollout_cy.pyi
lean_reinforcement/agent/mcts/mcts_cy/guidedrollout_cy.pyx
lean_reinforcement/tests/__init__.py
lean_reinforcement/tests/test_batch_transformer.py
lean_reinforcement/tests/test_checkpoint.py
lean_reinforcement/tests/test_common_cy.py
lean_reinforcement/tests/test_config.py
lean_reinforcement/tests/test_config_new.py
lean_reinforcement/tests/test_dataloader.py
lean_reinforcement/tests/test_gym.py
lean_reinforcement/tests/test_hyperparam_search.py
lean_reinforcement/tests/test_inference_server.py
lean_reinforcement/tests/test_mcts.py
lean_reinforcement/tests/test_mcts_comprehensive.py
lean_reinforcement/tests/test_mcts_cy.py
lean_reinforcement/tests/test_multiprocessing_proxies.py
lean_reinforcement/tests/test_parallel_mcts.py
lean_reinforcement/tests/test_runner.py
lean_reinforcement/tests/test_time_configuration.py
lean_reinforcement/tests/test_trainer.py
lean_reinforcement/tests/test_transformer.py
lean_reinforcement/tests/test_value_head.py
lean_reinforcement/tests/test_worker.py
lean_reinforcement/training/__init__.py
lean_reinforcement/training/benchmark.py
lean_reinforcement/training/datasets.py
lean_reinforcement/training/hyperparam_search.py
lean_reinforcement/training/inference_server.py
lean_reinforcement/training/train.py
lean_reinforcement/training/trainer.py
lean_reinforcement/training/worker.py
lean_reinforcement/training/configs/hyperparams.yaml
lean_reinforcement/utilities/__init__.py
lean_reinforcement/utilities/analyze_training_data.py
lean_reinforcement/utilities/checkpoint.py
lean_reinforcement/utilities/config.py
lean_reinforcement/utilities/dataloader.py
lean_reinforcement/utilities/gym.py