Scholar
Luoxin Chen
Google Scholar ID: _iPtaaQAAAAJ
Peking University
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
9
H-index
2
i10-index
0
Publications
3
Co-authors
0
Publications
4 items
Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries
2026
Cited
0
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
2025
Cited
0
Solving Formal Math Problems by Decomposition and Iterative Reflection
2025
Cited
0
AdamS: Momentum Itself Can Be A Normalizer for LLM Pretraining and Post-training
2025
Cited
0
