@misc{indiciae531dff77f189, title = {Confidence over Time: Confidence Calibration with Temporal Logic for Large Language Model Reasoning}, author = {Zhenjiang Mao and Anirudhh Venkat and Artem Bisliouk and Akshat Kothiyal and Sindhura Kumbakonam Subramanian and Saithej Singhu and Ivan Ruchkin}, year = {2026}, url = {https://arxiv.org/abs/2601.13387}, note = {Source identifier: 2601.13387} }