Update README.md

README.md

@@ -10,6 +10,7 @@ This repo contains models and web server that uses LLMs to assist theorem provin
 
 PVSgym can be donwloaded from this repo: https://github.com/manoja328/expmath/tree/main/pvspy
 
+```
 pvs_sft5
 ├── config.json
 ├── generation_config.json
@@ -23,6 +24,7 @@ pvs_sft5
 ├── tokenizer.json
 ├── tokenizer.model
 └── training_args.bin
+```
 
 ## Start the web server with the model running