Categories Companies Research

Loading the SOTA2 catalog…

Explore

Categories Companies Research

Contribute

Join SOTA2 Contact

SOTA2

© 2026 SOTA2

Build in Bellevue, USA

WizWand is now SOTA2 Research

Papers Benchmarks Datasets Tasks

Linux Kernel dataset and benchmarks · SOTA2 Research

Research Datasets

Linux Kernel

Benchmarks

Task NameDataset NameSOTA MethodSort

Task NameDataset NameSOTA ResultTrendResults

Linux Kernel 10 Targets

50,260Edge Coverage

22

Linux Kernel 6.2

106Branch Coverage

5

Linux Kernel 6.12

257Crash Count

2

Linux Kernel 6.1

425Crashes Detected

2

Linux Kernel 5.19

524Crashes

2

Kernel Contract Verification

Linux Kernel

—Primary metric

0

Popular tasks

Kernel Fuzzing Kernel Contract Verification

Follow for updates

Join SOTA2 Contact