『[2303.04864] nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models』2025/5/19 21:22:00 https://arxiv.org/abs/2303.04864