TY - RPRT TI - Extracting Robust Register Automata from Neural Networks over Data Sequences AU - Chih-Duo Hong AU - Hongjian Jiang AU - Anthony W. Lin AU - Oliver Markgraf AU - Julian Parsert AU - Tony Tan PY - 2025 UR - https://arxiv.org/abs/2511.19100 ID - 2511.19100 ER -