Verification

Benchmarks

Dataset Name	SOTA Method	Metric
Bitcoin Simulation		Verification Time (ms)22.9609	54	5mo ago
SCI-Bench	CoSineVerifier-Tool-4B	Mean@3 Accuracy89.7	18	5mo ago
VerifyBench Hard 1.0 (test)	CoSineVerifier-Tool-4B	Mean@3 Accuracy91.9	18	5mo ago
VerifyBench 1.0 (test)	CoSineVerifier-Tool-4B	m@3 Accuracy96.6	18	5mo ago
Simulation Distribution Shift (test)		AUC88.3	18	5mo ago
Simulation In Distribution (test)	VarAUC	AUC95	18	5mo ago
GSM8K	CRV	AUROC70.17	11	5mo ago
Synthetic Arithmetic	CRV	AUROC92.47	11	5mo ago
Synthetic Boolean	CRV	AUROC75.87	11	5mo ago
UE Verification IoT: Cortex-M33	TF5 MAC‡	Verification Latency (µs)158	10	29d ago
UE Verification V2X: Cortex-A53	TF5 MAC‡	Verification Latency (µs)10.3	10	29d ago
UE Verification Smartphone: Cortex-A76	TF5 MAC‡	Verification Latency (µs)0.53	10	29d ago
UE Verification RPi 4B: Cortex-A72	TF5 MAC‡	Verification Latency (µs)4.02	10	29d ago
UE Verification Desktop: Intel Core i5-14600KF	TF5 MAC‡	Verification Latency (µs)0.8	10	29d ago
Ethereum Simulation		Verification Time (ms)2.9024	10	5mo ago
FEVER	VERDI LR	AUROC0.737	8	2mo ago
SummEval	VERDI LR	AUROC0.755	8	2mo ago
Voice-Face F-V Gender-restricted	Ours	AUC76.1	8	5mo ago
Voice-Face Gender-restricted	Ours	AUC0.775	8	5mo ago
Voice-Face F-V, Unrestricted	Ours	AUC87	8	5mo ago
Voice-Face Unrestricted	Ours	AUC87.2	8	5mo ago
private CCTV 80 videos (test)	+ CCTV SFT	Accuracy85	6	2mo ago
Cat Individual Images	SigLIP2-Giant + E5-Small-v2 + gating	ROC AUC0.9929	6	4mo ago
DogFaceNet 17 (test)	SigLIP2-Giant + E5-Small-v2 + gating	ROC AUC0.992	6	4mo ago
HAETAE-5		Cycles2,532	5	3mo ago

Showing 25 of 45 rows