| # Lang2LTL | |
| Translation from natural language to Linear Temporal Logic | |
| There are two models in this project. | |
| - Seq2Seq | |
| - Seq2Seq with NER | |
| The comet expriment linked to these two models are: | |
| https://www.comet.ml/suchzheng2/lang2ltl/view/new | |
| # Lang2LTL | |
| Translation from natural language to Linear Temporal Logic | |
| There are two models in this project. | |
| - Seq2Seq | |
| - Seq2Seq with NER | |
| The comet expriment linked to these two models are: | |
| https://www.comet.ml/suchzheng2/lang2ltl/view/new | |