Jinjun Peng

Latest

• NeuRI: Diversifying DNN Generation via Inductive Rule Synthesis