Downloads · 30 days
0
trm-mnist-ibp-eps001
ludwigw/trm-mnist-ibp-eps001
trm-mnist-ibp-eps001 is a machine learning model from ludwigw. Use it for the machine learning task on the model card, and read the license before you ship it in a product. The card lists the license as mit.
TRM trained with Interval Bound Propagation at ε=0.01/255.
Access
Public
Updated Jun 18, 2026
Repo size
770 KB
Likes
0
Public
Repo makeup
Click a slice to open those files.
.pt770 KB · 100%
At a glance
- License
- mit
- Access
- Public
- Created
- May 16, 2026
- Updated
- Jun 18, 2026
- SHA
- 4d5dcda5
Datasets
Model card
From the Hugging Face model README
TRM MNIST IBP (ε=0.01)
TRM trained with Interval Bound Propagation at ε=0.01/255.
Training Configuration
- Method: IBP training (Gowal et al. 2018)
- ε: 0.01 (L∞ on [0,1] pixels)
- Epochs: 50
- Scheduler: Multi-step LR decay
- Architecture: Same as baseline (105.8M params)
Verification Results (β-CROWN, 512 samples)
| ε (L∞) | Verified | vs Baseline |
|---|---|---|
| 0.01 | 68% | +56% |
| 0.06 | 61% | +60% |
| 0.08 | 75% | +74% |
Usage
import torch
from veriphi.models import TinyRecursiveMLP
model = TinyRecursiveMLP(x_dim=784, y_dim=512, z_dim=512, hidden=1024,
num_classes=10, H_cycles=2, L_cycles=2)
model.load_state_dict(torch.load("trm-mnist-ibp-eps001.pt"))
model.eval()
Citation
@article{deshmukh2026veriphi,
title={Veriphi: Attack-Guided Neural Network Verification with Dataset-Dependent Training Methods},
author={Deshmukh, Pratik and Savin, Vasili and Arya, Kartik},
journal={arXiv preprint arXiv:2606.18454},
year={2026}
}
Paper: arXiv:2606.18454 | Code: GitHub
- License
- mit
- Created
- May 16, 2026
- Updated
- Jun 18, 2026