Hugging Face's logo

phanerozoic
/
nms-verified

Object Detection
PyTorch
fcos
coco
verified
nms-free
formal-verification
Eval Results (legacy)
Model card Files
xet
 Community
nms-verified
130 MB
  • 1 contributor
 History: 9 commits
phanerozoic's picture
phanerozoic
Update card to modular Coq library + add extracted certifier
4bea340 verified