Compute the polyhedral complex associated with a ReLU network. Contrary to previous methods the proposed method subdivides edges, which alleviates computational redundancy and affords simple data structures and GPU acceleration.
This repo implements the proposed algorithm in vanilla PyTorch
with CUDA
support.
@InProceedings{Berzins23,
author = {Berzins, Arturs},
title = {Polyhedral Complex Extraction from ReLU Networks using Edge Subdivision},
booktitle = {Proceedings of the 40th International Conference on Machine Learning},
year = {2023},
volume = {202},
series = {Proceedings of Machine Learning Research},
publisher = {PMLR},
}