@misc{indiciae661cda76fc05, title = {Extracting Robust Register Automata from Neural Networks over Data Sequences}, author = {Chih-Duo Hong and Hongjian Jiang and Anthony W. Lin and Oliver Markgraf and Julian Parsert and Tony Tan}, year = {2025}, url = {https://arxiv.org/abs/2511.19100}, note = {Source identifier: 2511.19100} }