Scholar

Luoxin Chen

Google Scholar ID: _iPtaaQAAAAJ

Peking University

Google Scholar↗

Citations & Impact

All-time

Citations

9

H-index

2

i10-index

0

Publications

3

Co-authors

0

Contact

No contact links provided.

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

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)