TY  - RPRT
TI  - NeuroSTAR: Automata-guided Neuro-symbolic Specification Formalization
AU  - Joy Saha
AU  - Trey Woodlief
AU  - Sebastian Elbaum
AU  - Matthew B. Dwyer
PY  - 2026
UR  - https://arxiv.org/abs/2609.03161
ID  - 2609.03161
ER  -