Hugging Face model: ludwigw/trm-mnist-baseline
Author: ludwigw
Created: 2026-05-16 20:46:26
Last modified: 2026-06-18 02:25:58
Likes: 0 | Downloads: 0
Tags: neural-network-verification, robust-ml, formal-verification, dataset:mnist, arxiv:2606.18454, license:mit, region:us
Card metadata:
license: mit
tags: neural-network-verification, robust-ml, formal-verification
datasets: mnist