All Stories

  1. A Framework of Formal Specification-Based Data Generation for Deep Neural Networks

    Article • February 2023, ACM (Association for Computing Machinery)

    YANZHAO XIA