Qiang Xu
9 indexed papers
Publications per year
Top categories
Frequent co-authors
Research Timeline
The paper proposes Arbiter-K, a Governance-First execution architecture that treats LLMs as probabilistic units encapsulated by a deterministic kernel, significantly improving the security and reliability of agentic AI systems.
The paper proposes FluxMem, a novel connectivity-evolving memory framework that models memory as a dynamic graph to improve LLM agent performance in complex, changing environments.
The paper introduces MemTrace, a framework that treats LLM memory pipelines as traceable graphs to systematically diagnose and automatically correct memory-related errors, boosting performance by up to 7.62%.
The paper reframes context distillation as a latent memory management problem, proposing a modular framework using LoRA adapters and a Self-Gating mechanism for efficient, selective memory retrieval and activation.
ExpGraph is a model-agnostic framework that uses a self-evolving experience graph to enable LLM agents to reuse past successful strategies and failure lessons, significantly improving performance across diverse tasks.
ElasticMem introduces a novel framework that treats memory as an elastic latent resource, allowing LLM agents to adaptively manage and inject variable-budget memories for improved performance in long-term reasoning tasks.
The paper introduces Harness-1, a search agent that separates semantic decision-making from state management by using a stateful search harness, achieving state-of-the-art performance across diverse retrieval benchmarks.
A multimodal speaker identification system is proposed using Adaptive Modality Routing (AMR) for the POLY-SIM 2026 Grand Challenge, achieving high accuracy in various conditions.
A new framework for Logic Equivalence Checking (LEC) is proposed, which strategically formulates the problem before solving by constructing a LUT-based miter and integrating equivalence-preserving mapping, Gaussian-guided XOR modeling, and solver-oriented LUT selection.
Papers
Miter-Aware LUT Mapping: Aligning Structure and Solvability for Efficient Logic Equivalence Checking
Jiaying Zhu, Zhengyuan Shi, Mengxia Tao, Kezhi Li +2 more
A new framework for Logic Equivalence Checking (LEC) is proposed, which strategically formulates the problem before solving by constructing a LUT-based miter and integrating equivalence-preserving map…