Benjamin Schornstein
发表
Stefanie Tellex,
Jason Liu,
Ziyi Yang,
2023,
ArXiv.
Lang2LTL: Translating Natural Language Commands to Temporal Specification with Large Language Models
Stefanie Tellex,
Jason Liu,
Ziyi Yang,
2022
.