Zhiteng Chao

1. Rtl2lean: Automated RTL-to-Lean Translation with Hierarchical Theorem Generation and Lemma Reuse
   2026/07/18 by Hongqin Lyu, Junxing Dong, Yonghao Wang +3
   #cs.AR #cs.LO