@article{grootgraphedgeregrowthandpartitioningfor,
  title = {GROOT: Graph Edge Re-growth and Partitioning for the Verification of Large Designs in Logic Synthesis},
  author = {Kiran Thorat and Hongwu Peng and Yuebo Luo and Xi Xie and Shaoyi Huang and Amit Hasan and Jiahui Zhao and Yingjie Li and Zhijie Shi and Cunxi Yu and Caiwen Ding},
  year = {2025},
  eprint = {2511.18297},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2511.18297},
}