2 papers
cs.LG2026
Approximating Pareto Frontiers in Stochastic Multi-Objective Optimization via Hashing and Randomization
Jinzhao Li, Nan Jiang, Yexiang Xue
Stochastic Multi-Objective Optimization (SMOO) is critical for decision-making trading off multiple potentially conflicting objectives in uncertain environments. SMOO aims at ident…
cs.AI2025
Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
Jinzhao Li, Nan Jiang, Yexiang Xue
Satisfiability Modulo Counting (SMC) is a recently proposed general language to reason about problems integrating statistical and symbolic Artificial Intelligence. An SMC problem i…