TY - RPRT TI - AssertionBench: A Benchmark to Evaluate Large-Language Models for Assertion Generation AU - Vaishnavi Pulavarthi AU - Deeksha Nandal AU - Soham Dan AU - Debjit Pal PY - 2025 UR - https://arxiv.org/abs/2406.18627 ID - 2406.18627 ER -