@article{fvrulelearneroperatorlevelreasoningtreeo,
  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 Deming Chen and Haoxing Ren},
  year = {2026},
  eprint = {2604.03245},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2604.03245},
}