TY  - RPRT
TI  - Let the Library Speak: Self-Advertised Method Selection for Formal Proving
AU  - Xiaopeng Yuan
AU  - Suijin Wang
AU  - Yanli Wang
AU  - Haibo Jin
AU  - Peng Kuang
AU  - Jerry Wang
AU  - Lijun Yu
AU  - Haohan Wang
PY  - 2026
UR  - https://arxiv.org/abs/2610.09401
ID  - 2610.09401
ER  -