TY  - RPRT
TI  - Synthesizing Best Abstract Transformers via Parallel Bit-Vector Optimization
AU  - Weiqi Wang
AU  - Peisen Yao
AU  - Hanrui Zuo
AU  - Yuan Li
AU  - Hongfei Fu
AU  - Kui Ren
PY  - 2026
UR  - https://arxiv.org/abs/2606.16229
ID  - 2606.16229
ER  -