Are LLMs Ready for Practical Adoption for Assertion Generation? - Vaishnavi Pulavarthi; Deeksha Nandal; Soham Dan; Debjit Pal (DATE, 2025)

AssertionBench: A Benchmark to Evaluate Large-Language Models for Assertion Generation. - Vaishnavi Pulavarthi; Deeksha Nandal; Soham Dan; Debjit Pal (NAACL (Findings), 2025)