TY - RPRT TI - Confidence over Time: Confidence Calibration with Temporal Logic for Large Language Model Reasoning AU - Zhenjiang Mao AU - Anirudhh Venkat AU - Artem Bisliouk AU - Akshat Kothiyal AU - Sindhura Kumbakonam Subramanian AU - Saithej Singhu AU - Ivan Ruchkin PY - 2026 UR - https://arxiv.org/abs/2601.13387 ID - 2601.13387 ER -