Official repository for "Probabilistic Soundness Guarantees in LLM Reasoning Chains"

[Paper]

• Release code: Mid Aug 2025

conda create -n ares python=3.10
conda activate ares
pip install -r requirements.txt

Check out this demo notebook for ClaimTrees length 10 using ARES with prior probability 0.95.