phanerozoic
/

nms-verified

Object Detection

formal-verification

Eval Results (legacy)

Model card Files Files and versions

Commit History

Update card to modular Coq library + add extracted certifier

4bea340
verified

phanerozoic commited on Apr 28

Update card to modular Coq library + add extracted certifier

3cd8801
verified

phanerozoic commited on Apr 28

Update card to modular Coq library + add extracted certifier

cb4dcc7
verified

phanerozoic commited on Apr 28

Inline NMS-free postprocess; add model-index + citation block

ecefc07
verified

phanerozoic commited on Apr 27

Tighten AP section: 2x2 table, one declarative line

248fbe4
verified

phanerozoic commited on Apr 27

Reframe AP table: separate recipe-vs-pretrained cost (12.6 AP) from NMS-free-vs-standard cost (0.001 AP)

88b8276
verified

phanerozoic commited on Apr 27

Add model card

e339dfa
verified

phanerozoic commited on Apr 27

Upload fcos_certified.safetensors

fcddf65
verified

phanerozoic commited on Apr 27

initial commit

eb633a4
verified

phanerozoic commited on Apr 27