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