Back to search
(AAAI 2026) OSVBench, a new benchmark for evaluating Large Language Models (LLMs) in generating complete specification code pertaining to operating system kernel verification tasks.
Stars
13
Forks
0
Watchers
13
Open Issues
1
Overall repository health assessment
No package.json found
This might not be a Node.js project
5
commits
5
commits