Hugging Face's logo

tt-dart
/
NL2HLTL

Safetensors
Model card Files Community
tt-dart commited on
Commit
059c845
·
1 Parent(s): 668aaf8

update readme

Browse files
Files changed (1) hide show
  1. README.md +7 -8
README.md CHANGED
@@ -31,14 +31,13 @@ Based task related NL2TL datasets:
31
  - [nl2spec](https://github.com/realChrisHahn2/nl2spec)
32
  - [NL2TL](https://github.com/yongchao98/NL2TL)
33
  ## File Structure
34
- - NL2HLTL
35
- - NL2HLTLTranslator
36
- - fastapi_server.py a FastAPI server for translate testing, will run on localhost:8001
37
- - mistral7b
38
- - finetune.py code for fintune
39
- - prediction.py code for prediction (this version do not have sockets)
40
- - mistral7b_quat8 fintuned model based on Mistral7B in quat 8
41
- - NL2TL-dataset used dataset
42
  ## Run
43
  ```bash
44
  cd to/this/folder
 
31
  - [nl2spec](https://github.com/realChrisHahn2/nl2spec)
32
  - [NL2TL](https://github.com/yongchao98/NL2TL)
33
  ## File Structure
34
+ - NL2HLTLTranslator
35
+ - fastapi_server.py a FastAPI server for translate testing, will run on localhost:8001
36
+ - mistral7b
37
+ - finetune.py code for fintune
38
+ - prediction.py code for prediction (this version do not have sockets)
39
+ - mistral7b_quat8: a fintuned model based on Mistral7B in quat 8
40
+ - NL2TL-dataset: used dataset
 
41
  ## Run
42
  ```bash
43
  cd to/this/folder