Barrett, Clark

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

Katz, G., Barrett, C., Dill, D. L., Julian, K., & Kochenderfer, M. J. (2017) · Lecture Notes in Computer Science

Formal Methods in VerificationSoftware Testing and Debugging Techniques

Cited by 1,706

The Marabou Framework for Verification and Analysis of Deep Neural Networks

Katz, G., Huang, D. A., Ibeling, D., Julian, K., Lazarus, C., Lim, R., Shah, P., Thakoor, S., Wu, H., Zeljić, A., et al. (2019) · Lecture Notes in Computer Science

Formal Methods in VerificationSoftware Testing and Debugging Techniques

Cited by 517

SGLang: Efficient Execution of Structured Language Model Programs

Zheng, L., Yin, L., Xie, Z., Sun, C., Huang, J., Yu, C. H., Cao, S., Kozyrakis, C., Stoica, I., Gonzalez, J. E., et al. (2023) · arXiv

Natural Language Processing TechniquesParallel Computing and Optimization Techniques

Cited by 145

Towards Proving the Adversarial Robustness of Deep Neural Networks

Katz, G., Barrett, C., Dill, D. L., Julian, K., & Kochenderfer, M. J. (2017) · Electronic Proceedings in Theoretical Computer Science

Adversarial Robustness in Machine LearningFormal Methods in Verification

Cited by 115

FlexGen: High-Throughput Generative Inference of Large Language Models with a Single GPU

Sheng, Y., Zheng, L., Yuan, B., Li, Z., Ryabinin, M., Fu, D. Y., Xie, Z., Chen, B., Barrett, C., Gonzalez, J. E., et al. (2023) · arXiv

Parallel Computing and Optimization TechniquesNatural Language Processing Techniques

Cited by 86

Identifying and Mitigating the Security Risks of Generative AI

Barrett, C., Boyd, B., Bursztein, E., Carlini, N., Chen, B., Choi, J., Chowdhury, A. R., Christodorescu, M., Datta, A., Feizi, S., et al. (2023) · Foundations and Trends® in Privacy and Security

Adversarial Robustness in Machine LearningInformation and Cyber Security

Cited by 57

Clover: Closed-Loop Verifiable Code Generation

Sun, C., Sheng, Y., Padon, O., & Barrett, C. (2023) · arXiv

Logic, programming, and type systemsSoftware Engineering Research

Cited by 43

Clover: Closed-Loop Verifiable Code Generation

Sun, C., Sheng, Y., Padon, O., & Barrett, C. (2024) · Lecture Notes in Computer Science

Logic, programming, and type systemsSoftware Engineering Research

Cited by 43

Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

Dalrymple, D. "., Skalse, J., Bengio, Y., Russell, S., Tegmark, M., Seshia, S., Omohundro, S., Szegedy, C., Goldhaber, B., Ammann, N., et al. (2024) · arXiv

Safety Systems Engineering in AutonomyFormal Methods in Verification

Cited by 12

Towards Optimal Caching and Model Selection for Large Model Inference

Zhu, B., Sheng, Y., Zheng, L., Barrett, C., Jordan, M., & Jiao, J. (2023) · Advances in Neural Information Processing Systems 36

Parallel Computing and Optimization TechniquesAdvanced Neural Network Applications

Cited by 2