Author

Zhijiang Guo

HKUST (GZ)

h-index 30 Homepage View on Semantic Scholar

We have 2 of 97 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Jul 2026

FormalRx: Rectify and eXamine Semantic Failures in Autoformalization

FormalRx is introduced, a comprehensive diagnostic evaluation framework that transforms autoformalization assessment from black-box judgments into actionable feedback, and enables systematic diagnosis and improvement of autoformalization systems.

Haocheng Wang, Baiyu Huang, Yingjia Wan et al. · arXiv.org · 1 citation

Preprint Aug 2026

MemoryCPT: An End-to-End Agent Memory Framework for Cost-Performance Trade-off

Experiments on LoCoMo and LongMemEval show that MemoryCPT improves the cost-performance trade-off over the evaluated baselines, while ablation and sensitivity analyses characterize the contributions of its components and the effects of key design choices.

Songxin Lei, Kun Ouyang, Weilin Ruan et al. · 0 citations