conftrace_

in-context exemplar

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

assertion generation (1) hardware verification (1) large language model (1) computer-using agent (1) trajectory annotation (1) ui trajectory (1) inverse dynamics (1) code generation (1) benchmark evaluation (1)

Papers

Watch and Learn: Learning to Use Computers from Online Videos CVPR 2026 AssertionBench: A Benchmark to Evaluate Large-Language Models for Assertion Generation NAACL 2025