Pappas, George J.

Jailbreaking Black Box Large Language Models in Twenty Queries

Chao, P., Robey, A., Dobriban, E., Hassani, H., Pappas, G. J., & Wong, E. (2023) · arXiv

Adversarial Robustness in Machine LearningSecurity and Verification in Computing

Cited by 522

JailbreakBench: An Open Robustness Benchmark for Jailbreaking Large Language Models

Chao, P., Debenedetti, E., Robey, A., Andriushchenko, M., Croce, F., Sehwag, V., Dobriban, E., Flammarion, N., Pappas, G., Tramèr, F., et al. (2024) · Advances in Neural Information Processing Systems 37

Adversarial Robustness in Machine LearningSecurity and Verification in Computing

Cited by 116

JailbreakBench: An Open Robustness Benchmark for Jailbreaking Large Language Models

Chao, P., Debenedetti, E., Robey, A., Andriushchenko, M., Croce, F., Sehwag, V., Dobriban, E., Flammarion, N., Pappas, G. J., Tramer, F., et al. (2024) · arXiv

Adversarial Robustness in Machine LearningSecurity and Verification in Computing

Cited by 116

Case study: verifying the safety of an autonomous racing car with a neural network controller

Ivanov, R., Carpenter, T. J., Weimer, J., Alur, R., Pappas, G. J., & Lee, I. (2020) · Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control

Formal Methods in VerificationSafety Systems Engineering in Autonomy

Cited by 68

SmoothLLM: Defending Large Language Models Against Jailbreaking Attacks

Robey, A., Wong, E., Hassani, H., & Pappas, G. J. (2023) · arXiv

Adversarial Robustness in Machine LearningSecurity and Verification in Computing

Cited by 37