Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Haokun Li
Researcher
PaperSquare-free Strong Triangular Decomposition of Zero-dimensional Polynomial SystemsAuthorship / preprint / 2022PaperChoosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal StructureAuthorship / preprint / 2021PaperSolving Satisfiability of Polynomial Formulas By Sample-Cell ProjectionAuthorship / preprint / 2020PaperIsolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-PolynomialAuthorship / preprint / 2023PaperGenerative Low-bitwidth Data Free QuantizationAuthorship / preprint / 2020PaperBoost Test-Time Performance with Closed-Loop InferenceAuthorship / preprint / 2022PaperCodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale OrganizationsAuthorship / preprint / 2024