4 papers
On Integer Programming for the Binarized Neural Network Verification Problem
Woojin Kim, James R. Luedtke
Binarized neural networks (BNNs) are feedforward neural networks with binary weights and activation functions. In the context of using a BNN for classification, the verification pr…
Limit Theorems for Verbose Persistence Diagrams
Jeong-hwi Joe, Woojin Kim, Cheolwoo Park
The persistence diagram is a central object in the study of persistent homology and has also been investigated in the context of random topology. The more recent notion of the verb…
Sparsification of the Generalized Persistence Diagrams for Scalability through Gradient Descent
Mathieu Carrière, Seunghyun Kim, Woojin Kim
The generalized persistence diagram (GPD) is a natural extension of the classical persistence barcode to the setting of multi-parameter persistence and beyond. The GPD is defined a…
Super-Polynomial Growth of the Generalized Persistence Diagram
Donghan Kim, Woojin Kim, Wonjun Lee
The Generalized Persistence Diagram (GPD) for multi-parameter persistence naturally extends the classical notion of persistence diagram for one-parameter persistence. However, unli…