Verification

Benchmarks

Dataset Name	SOTA Method	Metric
Bitcoin Simulation		Verification Time (ms)22.9609	54	1mo ago
SCI-Bench	CoSineVerifier-Tool-4B	Mean@3 Accuracy89.7	18	1mo ago
VerifyBench Hard 1.0 (test)	CoSineVerifier-Tool-4B	Mean@3 Accuracy91.9	18	1mo ago
VerifyBench 1.0 (test)	CoSineVerifier-Tool-4B	m@3 Accuracy96.6	18	1mo ago
Simulation Distribution Shift (test)		AUC88.3	18	1mo ago
Simulation In Distribution (test)	VarAUC	AUC95	18	1mo ago
GSM8K	CRV	AUROC70.17	11	1mo ago
Synthetic Arithmetic	CRV	AUROC92.47	11	1mo ago
Synthetic Boolean	CRV	AUROC75.87	11	1mo ago
Ethereum Simulation		Verification Time (ms)2.9024	10	1mo ago
Voice-Face F-V Gender-restricted	Ours	AUC76.1	8	1mo ago
Voice-Face Gender-restricted	Ours	AUC0.775	8	1mo ago
Voice-Face F-V, Unrestricted	Ours	AUC87	8	1mo ago
Voice-Face Unrestricted	Ours	AUC87.2	8	1mo ago
Cat Individual Images	SigLIP2-Giant + E5-Small-v2 + gating	ROC AUC0.9929	6	1mo ago
DogFaceNet 17 (test)	SigLIP2-Giant + E5-Small-v2 + gating	ROC AUC0.992	6	1mo ago
Weather	MLPLir	Time (s)0.18	4	1mo ago
Prosthetic	MLPLir	Execution Time (s)0.19	4	1mo ago
PINNHeat	MLPLir	Time (s)0.43	4	1mo ago
F-exp100		Time (s)3.16	4	1mo ago
F-exp4	MLPLir	Latency (s)1.16	4	1mo ago
F-exp		Execution Time (s)0.22	4	1mo ago
F-xy		Latency (s)0.02	4	1mo ago
F-Bessel		Latency (s)0.24	4	1mo ago

Showing 24 of 24 rows