conftrace_

assertion generation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

hardware verification (1) in-context exemplar (1) large language model (1) code generation (1) benchmark evaluation (1)

Papers

AssertionBench: A Benchmark to Evaluate Large-Language Models for Assertion Generation NAACL 2025