Update README.md
Browse files
README.md
CHANGED
|
@@ -10,6 +10,20 @@ This repo contains models and web server that uses LLMs to assist theorem provin
|
|
| 10 |
|
| 11 |
PVSgym can be donwloaded from this repo: https://github.com/manoja328/expmath/tree/main/pvspy
|
| 12 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 13 |
## Start the web server with the model running
|
| 14 |
|
| 15 |
python -m uvicorn sft_fastapi:app --host 0.0.0.0 --port 8000
|
|
|
|
| 10 |
|
| 11 |
PVSgym can be donwloaded from this repo: https://github.com/manoja328/expmath/tree/main/pvspy
|
| 12 |
|
| 13 |
+
pvs_sft5
|
| 14 |
+
βββ config.json
|
| 15 |
+
βββ generation_config.json
|
| 16 |
+
βββ model-00001-of-00003.safetensors
|
| 17 |
+
βββ model-00002-of-00003.safetensors
|
| 18 |
+
βββ model-00003-of-00003.safetensors
|
| 19 |
+
βββ model.safetensors.index.json
|
| 20 |
+
βββ recommended_commands.csv
|
| 21 |
+
βββ special_tokens_map.json
|
| 22 |
+
βββ tokenizer_config.json
|
| 23 |
+
βββ tokenizer.json
|
| 24 |
+
βββ tokenizer.model
|
| 25 |
+
βββ training_args.bin
|
| 26 |
+
|
| 27 |
## Start the web server with the model running
|
| 28 |
|
| 29 |
python -m uvicorn sft_fastapi:app --host 0.0.0.0 --port 8000
|