Author

Xin Li

h-index 2 View on Semantic Scholar

We have 2 of 11 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.

Preprint Jul 2026

AutoMem: A Text-Gradient Recursive Self-Improvement Framework for Automated Memory Architectures Search

This work proposes \textsc{AutoMem}, a text-gradient recursive self-improvement framework for task-adaptive memory architecture search that consistently discovers task-adaptive memory architectures that outperform the strongest human-designed memory baselines.

Lin-Ge Du, Jie Zhou, Yuxuan Cai et al. · 0 citations

Preprint Aug 2026

MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement

MathForm is introduced, an autoformalization framework for constructing verified training data through Mathlib knowledge retrieval and verification-guided iterative refinement, and outperforming multiple specialized 32B autoformalizers.

Lushi Pu, Weiming Zhang, Xinheng Xie et al. · 0 citations