@misc{indiciae1ad95736eeae,
  title = {FVRuleLearner: Operator-Level Reasoning Tree (Op-Tree)-Based Rules Learning for Formal Verification},
  author = {Lily Jiaxin Wan and Chia-Tung Ho and Yunsheng Bai and Cunxi Yu and Ghaith Bany Hamad and Deming Chen and Haoxing Ren},
  year = {2026},
  url = {https://arxiv.org/abs/2604.03245},
  note = {Source identifier: 2604.03245}
}