Views
No views yet
| ε (L∞) | Verified | vs IBP |
|---|---|---|
| 0.06 | 48% | -13% |
| 0.08 | 63% | -15% |
| 0.10 | 63% | -12% |
1import torch
2from veriphi.models import TinyRecursiveMLP
3
4model = TinyRecursiveMLP(x_dim=784, y_dim=512, z_dim=512, hidden=1024,
5 num_classes=10, H_cycles=2, L_cycles=2)
6model.load_state_dict(torch.load("trm-mnist-adv-eps015.pt"))
7model.eval()1@article{deshmukh2026veriphi,
2 title={Veriphi: Attack-Guided Neural Network Verification with Dataset-Dependent Training Methods},
3 author={Deshmukh, Pratik and Savin, Vasili and Arya, Kartik},
4 journal={arXiv preprint arXiv:2606.18454},
5 year={2026}
6}