conftrace_

specification generation

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

openapi specification (1) api documentation (1) large language model (1) rule-based algorithm (1) operating system (1) document analysis (1) formal verification (1) program synthesis (1) information extraction (1)

Papers

OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification AAAI 2026 Generating OpenAPI Specifications from Online API Documentation with Large Language Models ACL 2025