PruVer: Verification Assisted Pruning for Deep Reinforcement Learning.

Briti Gangopadhyay, Pallab Dasgupta, Soumyajit Dey

Browse the full PRICAI paper archive.