TY  - RPRT
TI  - BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation
AU  - Jiaqi Yin
AU  - Zhan Song
AU  - Chen Chen
AU  - Qihao Hu
AU  - Cunxi Yu
PY  - 2025
UR  - https://arxiv.org/abs/2504.05577
ID  - 2504.05577
ER  -