Formal Verification

Benchmarks

Dataset Name	SOTA Method	Metric
MNIST Deep first 1000 images (val)	BDD+	Relative Verification Bound-11.5	13	1mo ago
MNIST FFNet first 1000 images (val)	BDD+	Relative Verification Bound-6.5	13	1mo ago
Float Multiplier	Saarthi	Assertion Count57	9	1mo ago
CIC Decimator	Saarthi	Assertion Count37	9	1mo ago
AXI4Lite	Saarthi	Assertion Count139	9	1mo ago
Memory Scheduler	Saarthi	Assertion Count29	9	1mo ago
Automotive IP	Saarthi	Assertion Count76	9	1mo ago
ECC	Saarthi	Assertion Count48	9	1mo ago
SV-COMP (#=47)	Lemur-GPT-4	Solved Tasks25	8	1mo ago
Code2Inv (#=133) (test)	Lemur-GPT-4	Solved Tasks107	8	1mo ago
MNIST Wide first 1000 images (val)	BDD+	Relative Verification Bound-5.4	7	1mo ago
SV-COMP (#=1,000) (full)		Solved Tasks374	6	1mo ago
VeriBench	POLCA	Pass Rate95.2	4	1mo ago
DNSSEC Cache - Core Func.	DNSSECVerif	Verification Time (h)1.1	4	1mo ago
DNSSEC Denial Auth. - NSEC	DNSSECVerif	Time (s)9.87	3	1mo ago
DNSSEC Data Auth. & Integrity	DNSSECVerif	Verification Time (h)10	3	1mo ago
DNSSEC Cache - Liveness	DNSSECVerif	Verification Time (min)27	2	1mo ago
DNSSEC Cache Consistency	DNSSECVerif	Verification Time (h)2.6	2	1mo ago
Nomad-style Zero-Root Init (T3)	COBALT-TLA	Iterations1	1	4d ago
Lock-Mint Optimistic Relay (T2)	COBALT-TLA	Iteration Count1	1	4d ago
Lock-Mint Reorg Attack (T1)	COBALT-TLA	Iteration Count0	1	4d ago
DNSSEC Mixed NSEC NSEC3	DNSSECVerif	Verification Time (s)109	1	1mo ago
DNSSEC Chain of Trust	DNSSECVerif	Verification Time (h)17	1	1mo ago
DNSSEC Denial Auth. - NSEC3	-	-	0	1mo ago

Showing 24 of 24 rows