determinacy

本文引入了有限证书来验证语言模型上下文行为中的确定性与涌现性，提供了理论准则及对当代模型的实验验证。