TY - RPRT TI - ASSERTIFY: Utilizing Large Language Models to Generate Assertions for Production Code AU - Mohammad Jalili Torkamani AU - Abhinav Sharma AU - Nikita Mehrotra AU - Rahul Purandare PY - 2024 UR - https://arxiv.org/abs/2411.16927 ID - 2411.16927 ER -