@misc{indiciaee73d51a07f32,
  title = {Rtl2lean: Automated RTL-to-Lean Translation with Hierarchical Theorem Generation and Lemma Reuse},
  author = {Hongqin Lyu and Junxing Dong and Yonghao Wang and Zhiteng Chao and Tiancheng Wang and Huawei Li},
  year = {2026},
  url = {https://arxiv.org/abs/2607.16855},
  note = {Source identifier: 2607.16855}
}