共 25 条
- [23] A Comparison of Text Representation Techniques and Encoder-Decoder Implementations in a Deep Neural Network for Converting Natural Language into Formal Logic Formulas SOUTH AFRICAN COMPUTER SCIENCE AND INFORMATION SYSTEMS RESEARCH TRENDS, SAICSIT 2024, 2024, 2159 : 244 - 260
- [24] ChatSTL: A Framework of Translation from Natural Language to Signal Temporal Logic Specifications for Autonomous Vehicle Navigation out of Blocked Scenarios 2024 16TH INTERNATIONAL CONFERENCE ON COMPUTER AND AUTOMATION ENGINEERING, ICCAE 2024, 2024, : 483 - 487