TY - RPRT TI - AutoAssert 1: A LoRA Fine-Tuned LLM Model for Efficient Automated Assertion Generation AU - Yi Zhong AU - Hongchao Liu AU - Di ZHao PY - 2025 UR - https://arxiv.org/abs/2508.07371 ID - 2508.07371 ER -