PulseAugur
中
实时 15:11:38
实体 Shuowei Jin

Shuowei Jin

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

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_152031 ·

    AutoSpec框架自动化神经网络规格生成

    研究人员开发了AutoSpec，一个旨在自动生成和评估神经网络规格的新型框架，解决了安全关键应用中手动规格的挑战。该系统利用基于树的算法来划分输入空间，并利用统计认证框架来确保准确性。实验表明，与人工定义的规格和现有基线相比，AutoSpec显著提高了规格的准确性和覆盖率，F1分数最高提升了73%。