NL2TL-dataset/datasets-Lang2LTL/README.md

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