OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification.

Shangyu Li, Juyong Jiang, Tiancheng Zhao, Jiasi Shen

Browse the full AAAI paper archive.