提出DRA综合与鲁棒性验证框架RAExc
热点事件持续更新
提出DRA综合与鲁棒性验证框架RAExc
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
Hong 等人在 arXiv 技术报告中提出确定性寄存器自动机（DRA）在有序数据序列上的综合与验证框架 RAExc，核心是局部搜索合成流程和一个精确鲁棒性检查器，后者将鲁棒性归约为覆盖性与最短路径问题。 检查器的运行时间在 DRA 寄存器数固定时为多项式，但对寄存器数的依赖是指数级的。方法限定字母表理论为有序有理数（含 < 与 =，守护常数为有理数），并使用非负仿射累加器代价。 作者称，学到的 DRA 可用作神经序列分类器的可解释替代模型，通过 PAC 验证循环给出保真度与局部稳定性的统计保证，并在基准语言和序列化 MNIST 上实现高准确率。
AI 根据报道生成 · 1 小时前更新
最新进展10月23日 12:00
数据序列上寄存器自动机的合成与验证（技术报告）报道时间线
沿着报道，了解事件的不同侧面。
10月23日
- arXiv cs.AI数据序列上寄存器自动机的合成与验证（技术报告）
这项 arXiv 技术报告研究有序数据序列上确定性寄存器自动机（DRA）的合成与验证，核心是局部搜索合成流程和精确鲁棒性检查器，后者将鲁棒性归约为覆盖性与最短路径问题，在寄存器数固定时多项式时间运行。作者将学习到的 DRA 用作神经序列分类器的可解释替代模型，通过 PAC 验证循环给出保真度与局部稳定性的统计保证，并在基准语言和序列化 MNIST 上实现高准确率。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。