Enhancing Large Language Models for Hardware Verification: A Novel SystemVerilog Assertion Dataset. - Anand Menon; Samit S. Miftah; Shamik Kundu; Souvik Kundu 009; Amisha Srivastava; Arnab Raha; Gabriel Theodor Sonnenschein; Suvadeep Banerjee; Deepak Mathaikutty; Kanad Basu (CoRR, 2025)