{"id":"arxiv/2604.17275","url":"https://arxiv.org/abs/2604.17275","tags":["cs.LO","cs.SC","math.OC"],"score":0,"title":"Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic","domain":"cs.LO","source":"arxiv","authors":["Xiakun Li","Hao Wu","Bican Xia","Tengshun Yang","Naijun Zhan"],"reviews":0,"subject":"cs.LO","summary":"Stochastic constraints, which incorporate both deterministic parameters and random variables, extend classical deterministic constraints by explicitly accounting for uncertainty. These constraints are increasingly prevalent in data science, artificial intelligence, and bioinformatics; however, solving them requires addressing quantitative satisfaction problems that remain a significant challenge in computer science. In this paper, we propose a novel framework for deciding deterministic parameters that maximize the satisfaction probability. Our approach features a unique synergy between…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-04-19","reactions":{}}