Temporalizing Confidence: Evaluation of Chain-of-Thought Reasoning with Signal Temporal Logic. - Zhenjiang Mao; Artem Bisliouk; Rohith Reddy Nama; Ivan Ruchkin (CoRR, 2025)