TY  - RPRT
TI  - SANGAM: SystemVerilog Assertion Generation via Monte Carlo Tree Self-Refine
AU  - Adarsh Gupta
AU  - Bhabesh Mali
AU  - Chandan Karfa
PY  - 2025
UR  - https://arxiv.org/abs/2506.13983
ID  - 2506.13983
ER  -