Share your thoughts, 1 month free Claude Pro on usSee more

Formal Verification

Benchmarks

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

Showing 25 of 26 rows