Found 2 repositories(showing 2)
lishangyu-hkust
(AAAI 2026) OSVBench, a new benchmark for evaluating Large Language Models (LLMs) in generating complete specification code pertaining to operating system kernel verification tasks.
Anony-mo-us
No description available
All 2 repositories loaded