论文成果

当前位置: 中文主页 >> 科学研究 >> 论文成果

BDD4BNN: A BDDbased Quantitative Analysis Framework for Binarized Neural Networks

发布时间：2026-03-17点击次数：

  • 发表刊物：Proceedings of the 33rd International Conference on Computer-Aided Verification (CAV), 2021
  • 备注：CCF-A 类会议，计算机验证顶会
  • 合写作者：Zhe Zhao,Guangke Chen,Taolue Chen
  • 第一作者：Yedi Zhang
  • 通讯作者：Fu Song
  • 是否译文：否

上一条：Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach

下一条：Who is Real Bob? Adversarial Attacks on Speaker Recognition Systems

返回顶部
+

陈光科

个人信息


  • 博士生导师
    硕士生导师
  • 教师英文名称：Guangke Chen
  • 教师拼音名称：Chen Guangke
  • 所在单位：武汉数学与智能研究院
  • 学历：博士研究生毕业
  • 办公地点：雷军科技楼A918
  • 联系方式：GuangkeChen AT whu DOT edu DOT cn

曾获荣誉：

  • 2025全球 AI 攻防挑战赛冠军及最佳方案奖
  • 2025上海市计算机学会优秀博士学位论文提名奖（正式与提名奖共6人）

最后更新时间：--

 

访问量：

    • Copyright武汉大学2017　地址：湖北省武汉市武昌区八一路299号　邮编：430072
      鄂ICP备05003330鄂公网安备42010602000219