1 citations · 2 across the 6 of their papers we have counts for
6 papers
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…
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…
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…
Local Search for Solving Satisfiability of Polynomial Formulas
Haokun Li, Bican Xia, Tianqi Zhao
Satisfiability Modulo the Theory of Nonlinear Real Arithmetic, SMT(NRA) for short, concerns the satisfiability of polynomial formulas, which are quantifier-free Boolean combination…
Isolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-Polynomial
Rizeng Chen, Haokun Li, Bican Xia +2
Mixed trigonometric-polynomials (MTPs) are functions of the form with . In this paper, an algorithm ``isolating" all the real r…
Square-free Strong Triangular Decomposition of Zero-dimensional Polynomial Systems
Haokun Li, Bican Xia, Tianqi Zhao
Triangular decomposition with different properties has been used for various types of problem solving, e.g. geometry theorem proving, real solution isolation of zero-dimensional po…