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 and of its neighbours, coloured by entity type. Click a node to open it.
0 of the edges connect neighbours to each other (second order).
Direct relations, as a list
- Authors 3
- ResearcherMd Rakib Hossain MisuResearcherIris MaResearcherCristina V. Lopes