Shiqi Wang

Code Generation Models · Large Language Models · Language Model Robustness · Adversarial Machine Learning · Adversarial Examples · Adversarial Training · Adversarial Robustness · Verifiable Training · Model Certification · Neural Network Verification · Neural Network Certification · Provable Robustness · Neural Network Pruning