English(EN) Synthesis and Verification of Register Automata over Data Sequences (Technical Report)

新框架合成并验证数据序列上的Register Automata

作者 PulseAugur 编辑部 · [1 个来源] · 2026-10-22 04:00

研究人员开发了一个新的框架，用于合成和验证数据序列上的确定性Register Automata (DRAs)。这些DRAs能够表达依赖于序列不同位置之间值比较的属性，这是传统有限自动机无法处理的。该框架包括一个局部搜索合成过程和一个精确鲁棒性检查器，并实现了一个名为RAExc的工具。该方法已被应用于为神经网络序列分类器创建可解释的DRA代理，在基准语言和序列化MNIST数据集上展示了高准确性和已验证的鲁棒性。 AI

影响引入了一种创建可解释序列分类模型的新方法，有望增进对复杂数据模式的理解。

排序理由技术报告，详细介绍了在数据序列上合成和验证自动机的新方法。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.LG 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。我们如何撰写摘要 →

本文如何被排名

Signal score: 1 / 100; Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket: Tool; 技术报告，详细介绍了在数据序列上合成和验证自动机的新方法。[lever_c_demoted from research: ic=1 ai=1.0]
Source corroboration: Single-source cluster; Only one publisher covered this so far. Single-source stories can still rank when the publisher is high-authority, but they lack cross-source corroboration.
Topics: paper, other; Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance: High; Clearly on-topic for AI-industry coverage.
Story freshness: 1 days old; Coverage has settled into its steady-state source set.

完整方法见我们的编辑标准。

报道来源 [1]

arXiv cs.LG TIER_1 English(EN) · Chih-Duo Hong, Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Julian Parsert, Tony Tan · 2026-10-22 04:00

Synthesis and Verification of Register Automata over Data Sequences (Technical Report)

arXiv:2511.19100v2 Announce Type: replace-cross Abstract: Data sequences, such as time series, traces, and sensor streams, are words over large or infinite data domains. Their properties often depend on comparisons between values at different positions, which finite automata cann…

本文如何被排名

报道来源 [1]

Synthesis and Verification of Register Automata over Data Sequences (Technical Report)

相关实体

相关话题