arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Luoxin Chen"" — arXiv2 Search
Showing 1–7 of 7 results
/ Date
/ Name
Mar 29, 2021
Industry Scale Semi-Supervised Learning for Natural Language Understanding
May 22, 2025
AdamS: Momentum Itself Can Be A Normalizer for LLM Pretraining and Post-training
Jul 31, 2025
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
Mar 31, 2026
Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries
Jun 15, 2022
Alexa Teacher Model: Pretraining and Distilling Multi-Billion-Parameter Encoders for Natural Language Understanding Systems
Jul 21, 2025
Solving Formal Math Problems by Decomposition and Iterative Reflection
Mar 17, 2025
The Amazon Nova Family of Models: Technical Report and Model Card