A Formal Framework for Uncertainty Analysis of Text Generation with Large Language Models | ScienceToStartup | ScienceToStartup