SOTA Verification benchmarks and papers with code

Benchmarks

Dataset Name	SOTA Method	Metric
Bitcoin Simulation		Verification Time (ms)22.9609	54	3mo ago
SCI-Bench	CoSineVerifier-Tool-4B	Mean@3 Accuracy89.7	18	3mo ago
VerifyBench Hard 1.0 (test)	CoSineVerifier-Tool-4B	Mean@3 Accuracy91.9	18	3mo ago
VerifyBench 1.0 (test)	CoSineVerifier-Tool-4B	m@3 Accuracy96.6	18	3mo ago
Simulation Distribution Shift (test)		AUC88.3	18	3mo ago
Simulation In Distribution (test)	VarAUC	AUC95	18	3mo ago
GSM8K	CRV	AUROC70.17	11	3mo ago
Synthetic Arithmetic	CRV	AUROC92.47	11	3mo ago
Synthetic Boolean	CRV	AUROC75.87	11	3mo ago
Ethereum Simulation		Verification Time (ms)2.9024	10	3mo ago
FEVER	VERDI LR	AUROC0.737	8	21d ago
SummEval	VERDI LR	AUROC0.755	8	21d ago
Voice-Face F-V Gender-restricted	Ours	AUC76.1	8	3mo ago
Voice-Face Gender-restricted	Ours	AUC0.775	8	3mo ago
Voice-Face F-V, Unrestricted	Ours	AUC87	8	3mo ago
Voice-Face Unrestricted	Ours	AUC87.2	8	3mo ago
private CCTV 80 videos (test)	+ CCTV SFT	Accuracy85	6	12d ago
Cat Individual Images	SigLIP2-Giant + E5-Small-v2 + gating	ROC AUC0.9929	6	3mo ago
DogFaceNet 17 (test)	SigLIP2-Giant + E5-Small-v2 + gating	ROC AUC0.992	6	3mo ago
HAETAE-5		Cycles2,532	5	1mo ago
HAETAE 3		Cycles1,909	4	1mo ago
HAETAE-2		Cycles998	4	1mo ago
Weather	MLPLir	Time (s)0.18	4	3mo ago
Prosthetic	MLPLir	Execution Time (s)0.19	4	3mo ago
PINNHeat	MLPLir	Time (s)0.43	4	3mo ago

Showing 25 of 35 rows