🧑‍🔬 Luoxin Chen

🏛️ Affiliations

🏢AmazonSeattle · United States2020–2022 · 4 papers

From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 1 more institution on single bylines are not listed.

🧭 Fields, topics and concepts

Of its works in our library, with the number of works on each.

📅 Works by year

2020s

📄 Papers

The most cited first (OpenAlex and our library).

1. Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving (2025 · 46 citations)
   Natural-language LLMs reason well on math tasks, but checking their proofs is hard, which limits reinforcement learning for theorem proving.
2. Solving Formal Math Problems by Decomposition and Iterative Reflection (2025 · 16 citations)
   Off-the-shelf large language models reason well about mathematics in natural language but struggle to write formal Lean 4 proofs.

All works

5 works of theirs in our library, the most cited first; 2 with a page here, the others link their original until we summarise them.

1. SeqVAT: Virtual Adversarial Training for Semi-Supervised Sequence Labeling ↗Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics · no summary yetLuoxin Chen et al.2020 · 137 citations
2. Towards an ASR Error Robust Spoken Language Understanding System ↗Interspeech (USB) · no summary yetWeitong Ruan et al.2020 · 76 citations
3. Enhance Robustness of Sequence Labelling with Masked Adversarial Training ↗Findings of the Association for Computational Linguistics: EMNLP 2020 · no summary yetLuoxin Chen et al.2020 · 69 citations
4. Seed-Prover: Deep and Broad Reasoning for Automated Theorem ProvingarXiv:2507.23726Luoxin Chen, Jinming Gu, Liankai Huang, et al.2025 · 46 citations
5. Solving Formal Math Problems by Decomposition and Iterative ReflectionarXiv:2507.15225Yichi Zhou, Jianqiu Zhao, Yongxin Zhang, et al.2025 · 16 citations

🤝 Co-authors here

12 of 13 co-authors with a page, the most papers together first.

• Allan Jie ×2
• Chenggang Li
• Haocheng Wang
• Jiahui Wang
• Jiawei Shen
• Kaijing Ma
• Luong Trung
• Wenhao Huang
• Xiaoran Jin
• Xinbo Zhang
• Xing Jin
• Yongxin Zhang

Venues

Where their works here were published, the most works first, with the editions of those that have a page.

• Findings of the Association for Computational Linguistics: EMNLP 2020
• Interspeech (USB)
• Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics

🔗 Cited by

Papers of our library cite their works 92 times (of the 149,439 papers whose bibliographies we read); 21 citing papers with a page here →.

Updated 3 November 2026

This page in Markdown → https://md.research.elamur.ai/free/en/authors/luoxin-chen/