Graph explorer Paper

Around Spec-Harness: Measuring and Improving Behavioral Adequacy of LLM-Synthesized Formal Specifications

Every recorded relation of Spec-Harness: Measuring and Improving Behavioral Adequacy of LLM-Synthesized Formal Specifications, coloured by entity type. Click a node to open it.

Depth 1 Depth 2

4 nodes · 3 edges

Direct relations, as a list

Authors 3: ResearcherMd Rakib Hossain MisuResearcherIris MaResearcherCristina V. Lopes