TY  - RPRT
TI  - Rtl2lean: Automated RTL-to-Lean Translation with Hierarchical Theorem Generation and Lemma Reuse
AU  - Hongqin Lyu
AU  - Junxing Dong
AU  - Yonghao Wang
AU  - Zhiteng Chao
AU  - Tiancheng Wang
AU  - Huawei Li
PY  - 2026
UR  - https://arxiv.org/abs/2607.16855
ID  - 2607.16855
ER  -