TY  - RPRT
TI  - GinSign: Grounding Natural Language Into System Signatures for Temporal Logic Translation
AU  - William English
AU  - Chase Walker
AU  - Dominic Simon
AU  - Rickard Ewetz
PY  - 2025
UR  - https://arxiv.org/abs/2512.16770
ID  - 2512.16770
ER  -