@misc{indiciae9817a289ced3,
  title = {SANGAM: SystemVerilog Assertion Generation via Monte Carlo Tree Self-Refine},
  author = {Adarsh Gupta and Bhabesh Mali and Chandan Karfa},
  year = {2025},
  url = {https://arxiv.org/abs/2506.13983},
  note = {Source identifier: 2506.13983}
}