Martingale Score: An Unsupervised Metric for Bayesian Rationality in LLM Reasoning - He, Zhonghao; Qiu, Tianyi (Alex); Shirado, Hirokazu; Sap, Maarten (Advances in Neural Information Processing Systems, 2025)