TY  - RPRT
TI  - Assertain: Automated Security Assertion Generation Using Large Language Models
AU  - Shams Tarek
AU  - Dipayan Saha
AU  - Khan Thamid Hasan
AU  - Sujan Kumar Saha
AU  - Mark Tehranipoor
AU  - Farimah Farahmandi
PY  - 2026
UR  - https://arxiv.org/abs/2604.01583
ID  - 2604.01583
ER  -