← back to paper

Review history

arxiv: 2606.30441 · 2 revisions

Translating Natural Language to Strategic Temporal Specifications via LLMs

1. 2026-07-03 UNVERDICTED LOW v0.9.1-grok novelty 6.0
   26306 ms 5826 in 1313 out 2026-07-03T22:33:34.500282+00:00
2. 2026-06-30 UNVERDICTED LOW v0.9.1-grok novelty 6.0
   62473 ms 5824 in 1377 out 2026-06-30T03:20:53.690785+00:00