ThinkSum: Probabilistic reasoning over sets using large language models