NeuRI: Diversifying DNN Generation via Inductive Rule Synthesis

Jiawei Liu , Jinjun Peng , Yuyao Wang , Lingming Zhang
February 2023
Paper Slides GitHub Repo stars
Type
Conference Paper
selected