TY  - RPRT
TI  - Automated SVA Generation with LLMs
AU  - Lik Tung Fu
AU  - Qihang Wang
AU  - Shaokai Ren
AU  - Mengli Zhang
AU  - Sichao Yang
AU  - Jun Liu
AU  - Xi Wang
PY  - 2026
UR  - https://arxiv.org/abs/2604.11044
ID  - 2604.11044
ER  -