TY  - RPRT
TI  - NeuroAbs: A Neuro-Symbolic RTL Abstraction Framework for Property Checking Acceleration
AU  - Zhiyuan Yan
AU  - Xiaofeng Zhou
AU  - Ziyue Zheng
AU  - Ziyi Yang
AU  - Wenbin Che
AU  - Wei Zhang
AU  - Yangdi Lyu
AU  - Hongce Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2608.17304
ID  - 2608.17304
ER  -