@misc{indiciae59fe21bb27fc,
  title = {ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers},
  author = {Chen Chen and Daniela Kaufmann and Chenhui Deng and Zhan Song and Hongce Zhang and Cunxi Yu},
  year = {2025},
  url = {https://arxiv.org/abs/2512.22260},
  note = {Source identifier: 2512.22260}
}