TY  - RPRT
TI  - A Fresh Look at Best Inductive Loop Invariant Synthesis for Bit-Vector Relations
AU  - Hanrui Zuo
AU  - Peisen Yao
AU  - Kui Ren
PY  - 2026
UR  - https://arxiv.org/abs/2607.26386
ID  - 2607.26386
ER  -