Popular repositories Loading

1. ZhengYeah.github.io ZhengYeah.github.io Public

   This is the source code for Ye Zheng's public website: https://zhengyeah.com/

   HTML 4

2. AbstraCMP AbstraCMP Public

   [JOS 22] & [IJSI] Multi-path Back-Propagation for Neural Network Verification

   Python 2

3. Optimal-GPM Optimal-GPM Public

   [PETS'25] Optimal Piecewise-based Mechanism for Collecting Bounded Numerical Data under Local Differential Privacy

   Python 1

4. Academic-CV Academic-CV Public

   Academic resume template

   TeX 1

5. MpBP MpBP Public

   [FSE 22 Demonstration] MpBP: Verifying Robustness of Neural Networks with Multi-path Bound Propagation

   Python

6. JRR JRR Public

   [PETS'25] Locally Differentially Private Frequency Estimation via Joint Randomized Response

   MATLAB