3 papers
stat.ML2026
Detecting Nonproperness of Likelihood Equations
Xiaoxian Tang, Bican Xia, Tianqi Zhao
Given an algebraic statistical model, a challenging problem is classifying the data according to the number of positive critical points of the likelihood function. The positive cri…
cs.AI2025
A Hybrid SMT-NRA Solver: Integrating 2D Cell-Jump-Based Local Search, MCSAT and OpenCAD
Tianyi Ding, Haokun Li, Xinpeng Ni +2
In this paper, we propose a hybrid framework for Satisfiability Modulo the Theory of Nonlinear Real Arithmetic (SMT-NRA for short). First, we introduce a two-dimensional cell-jump…
cs.SC2025
OSVAuto: automatic proofs about functional specifications in OS verification
Yulun Wu, Bican Xia, Jiale Xu +2
We present OSVAuto for automatic proofs about functional specifications that commonly arise when verifying operating system kernels. The algorithm behind OSVAuto is designed to sup…