Anytime Safe PAC Efficient Reasoning. - Chengyao Yu; Hao Zeng 005; Youxin Zhu; Jianguo Huang; Huajun Zeng; Bingyi Jing (CoRR, 2026)