实体 TNODEV

TNODEV

PulseAugur coverage of TNODEV — every cluster mentioning TNODEV across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

RESEARCH · CL_93174 · Jun 15 · 11:09

新的TNODEV工具箱增强了常微分方程神经网络的验证

研究人员开发了TNODEV，一个用于常微分方程神经网络（neural ODEs）形式化验证的新工具箱。该工具通过集成一个伪造检查器、一个基于区间的可达性后端以及一个带有输入集分割启发式的验证精化循环，解决了现有方法的局限性。TNODEV旨在为用于安全关键应用（如网络物理系统和自动化决策管道）的常微分方程神经网络提供更精确的判断。