{"type":"ScholarlyArticle","title":"Mining Statistically Likely k-Reachable States in Probabilistic Programs","authors":[{"name":"Arnab Ray","slug":"arnab-ray","given":"Arnab","family":"Ray","affiliation":""},{"name":"Nitesh Trivedi","slug":"nitesh-trivedi","given":"Nitesh","family":"Trivedi","affiliation":""},{"name":"Ansuman Banerjee","slug":"ansuman-banerjee","given":"Ansuman","family":"Banerjee","affiliation":""},{"name":"Sourav Chakraborty","slug":"sourav-chakraborty","given":"Sourav","family":"Chakraborty","affiliation":""},{"name":"Arijit Ghosh","slug":"arijit-ghosh","given":"Arijit","family":"Ghosh","affiliation":""},{"name":"Subhajit Roy","slug":"subhajit-roy","given":"Subhajit","family":"Roy","affiliation":""}],"abstract":"We propose the notion of statistically likely k-step reachable set in probabilistic programs, a statistically robust notion for high-probability k-step reachable program states. We design an inductive algorithm to capture this set as a symbolic representation in propositional logic for Boolean probabilistic programs. Our methodology iteratively learns a symbolic formula for the statistically likely k-step reachable set that involves (a) learning an initial symbolic candidate via decision tree learning, (b) collecting positive and negative counterexamples via forward and backward verification checks, and (c) refining the current candidate via a sequence of prune and split moves on the decision tree. We demonstrate that the statistically likely k-step reachable set can reveal interesting properties about programs by studying probabilistic programs from the literature.","doi":"10.24963/ijcai.2026/712","url":"https://ijcai.org/proceedings/2026/712","pdf":"https://ijcai.org/proceedings/2026/0712.pdf","markdown":"https://ijcai.org/proceedings/2026/712.md","bibtex":"https://ijcai.org/proceedings/2026/bibtex/712","volume":{"slug":"2026","title":"Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2026","url":"https://ijcai.org/proceedings/2026/","year":2026,"location":"Bremen, Germany","dates":"15-21 August 2026","editors":"Diego Calvanese","isbn":"978-1-956792-09-6","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2026"},"section":"Uncertainty in AI","track":"Main Track","number":712,"pages":{"first":6398,"last":6406},"keywords":["Uncertainty in AI: Probabilistic programming"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}