TY  - RPRT
TI  - Arcane: An Assertion Reduction Framework through Semantic Clustering and MCTS-Guided Rule Exploring
AU  - Hongqin Lyu
AU  - Yonghao Wang
AU  - Zhiteng Chao
AU  - Tiancheng Wang
AU  - Huawei Li
PY  - 2026
UR  - https://arxiv.org/abs/2605.10107
ID  - 2605.10107
ER  -