TY  - RPRT
TI  - Towards Automated Confidence Bound Provers and Searchers
AU  - My Phan
AU  - Erik Learned-Miller
PY  - 2026
UR  - https://arxiv.org/abs/2607.10379
ID  - 2607.10379
ER  -