Chunrong Fang

maxpool function (2) formal verification (2) linear approximation (2) robustness verification (2) deep learning (1) token efficiency (1) code retrieval (1) backdoor attack (1) convolutional neural network (1) robustness certification (1) neural network verification (1) neural network robustness (1) trigger generation (1) prompt compression (1) neural network classifier (1) trigger injection (1) neural network (1) certified accuracy (1) dynamic token allocation (1) neural code search (1)