TY  - RPRT
TI  - FVRuleLearner: Operator-Level Reasoning Tree (Op-Tree)-Based Rules Learning for Formal Verification
AU  - Lily Jiaxin Wan
AU  - Chia-Tung Ho
AU  - Yunsheng Bai
AU  - Cunxi Yu
AU  - Ghaith Bany Hamad
AU  - Deming Chen
AU  - Haoxing Ren
PY  - 2026
UR  - https://arxiv.org/abs/2604.03245
ID  - 2604.03245
ER  -