Author

Xin Li

Observed name: Li, Xin

Institution: University of Central Florida

Observed institution: University of Central Florida

OpenAlex ID: A5138650001

MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis

2026 · Pu, Lushi, Zhang, Weiming, et al. · arXiv (Cornell University) · 3

Beyond LoRA: Is Sparsity-Induced Adaptation Better?

2026 · Cadenhead, Elijah, McGee, Cristian, et al. · arXiv (Cornell University) · 1

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

2026 · Pu, Lushi, Zhang, Weiming, et al. · arXiv (Cornell University)

Works count: 3

Citation count: 4

H-index: 1

I10-index: