BibTex Link to heading

@article{kande2023llm, title={{LLM-assisted Generation of Hardware Assertions}}, author={Kande, Rahul and Pearce, Hammond and Tan, Benjamin and Dolan-Gavitt, Brendan and Thakur, Shailja and Karri, Ramesh and Rajendran, Jeyavijayan}, journal={arXiv preprint arXiv:2306.14027}, year={2023} }