arXiv cs.AI· Chih-Duo Hong, Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Julian Parsert, Tony Tan·· 2 小时前AI 评分35
数据序列上寄存器自动机的合成与验证（技术报告）
Synthesis and Verification of Register Automata over Data Sequences (Technical Report)
AI 导读
这项 arXiv 技术报告研究有序数据序列上确定性寄存器自动机（DRA）的合成与验证，核心是局部搜索合成流程和精确鲁棒性检查器，后者将鲁棒性归约为覆盖性与最短路径问题，在寄存器数固定时多项式时间运行。作者将学习到的 DRA 用作神经序列分类器的可解释替代模型，通过 PAC 验证循环给出保真度与局部稳定性的统计保证，并在基准语言和序列化 MNIST 上实现高准确率。
来源：arXiv cs.AI · arxiv.org