Presentations

Incorporating Regional Verification of Neural Network Performance into PAC Bounds

Using Region Tests to Evaluate PAC Bounds

Aligning Pseudo-Random Number Generation in Python, R and C++