PruVer: Verification Assisted Pruning for Deep Reinforcement Learning

Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey. PruVer: Verification Assisted Pruning for Deep Reinforcement Learning. In Fenrong Liu, Arun Anand Sadanandan, Duc Nghia Pham, Petrus Mursanto, Dickson Lukose, editors, PRICAI 2023: Trends in Artificial Intelligence - 20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part I. Volume 14325 of Lecture Notes in Computer Science, pages 137-149, Springer, 2022. [doi]

Authors

Briti Gangopadhyay

This author has not been identified. Look up 'Briti Gangopadhyay' in Google

Pallab Dasgupta

This author has not been identified. Look up 'Pallab Dasgupta' in Google

Soumyajit Dey

This author has not been identified. Look up 'Soumyajit Dey' in Google