NeuRI: Diversifying DNN Generation via Inductive Rule Inference

Open in new window