auto_LiRPA

AI verification scales with new parallelism techniques

Researchers have adapted tensor parallelism and fully sharded data parallelism techniques, typically used for training large models, to improve the scalability of neural network verification. These methods address the G…