🧑‍🔬 Who cites Luoxin Chen

92 citations of their works from 81 papers of our library (of the 149,439 whose bibliographies we read) · 21 with a page here, the most cited first · ← Luoxin Chen

1. An Empirical Survey of Data Augmentation for Limited Data Learning in NLPTransactions of the Association for Computational Linguistics (TACL)Jiaao Chen, Derek Tam, Colin Raffel, et al.2023 · 254 citations
2. Automated Concatenation of Embeddings for Structured PredictionAnnual Meeting of the Association for Computational Linguistics (ACL)Xinyu Wang, Yong Jiang, Nguyen Bach, et al.2021 · 206 citations
3. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-CorrectionarXiv:2508.03613Yong Lin, Shange Tang, Bohan Lyu, et al.2025 · 67 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. DeepSeekMath-V2: Towards Self-Verifiable Mathematical ReasoningarXiv:2511.22570Zhihong Shao, Yuxiang Luo, Chengda Lu, et al.2025 · 33 citations
6. Aristotle: IMO-level Automated Theorem ProvingSuperIntelligence - Robotics - Safety & AlignmentTudor Achim, Alex Best, Alberto Bietti, et al.2025 · 29 citations
7. Hilbert: Recursively Building Formal Proofs with Informal ReasoningarXiv:2509.22819Sumanth Varambally, Thomas Voice, Yanchao Sun, et al.2025 · 26 citations
8. Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from ExperiencearXiv:2512.17260Jiangjie Chen, Wenxiang Chen, Jiacheng Du, et al.2025 · 19 citations
9. Kimina Lean Server: A High-Performance Lean Server for Large-Scale VerificationarXiv:2504.21230Marco Dos Santos, Hugues de Saxcé, Haiming Wang, et al.2025 · 14 citations
10. Prover Agent: An Agent-Based Framework for Formal Mathematical ProofsarXiv:2506.19923Kaito Baba, Chaoran Liu, Shuhei Kurita, et al.2025 · 14 citations
11. The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical ProofsarXiv:2506.21621Jasper Dekoninck, Ivo Petrov, Kristian Minchev, et al.2025 · 11 citations
12. Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum PhysicsarXiv:2510.12787Benjamin Breen, Marco Del Tredici, Jacob McCarran, et al.2025 · 9 citations
13. ReForm: Reflective Autoformalization with Prospective Bounded Sequence OptimizationarXiv:2510.24592Guoxin Chen, Jing Wu, Xinjie Chen, et al.2025 · 8 citations
14. Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-ProversarXiv:2509.06493Ran Xin, Zeyu Zheng, Yanchen Nie, et al.2025 · 7 citations
15. Premise Selection for a Lean HammerarXiv:2506.07477Thomas Zhu, Joshua Clune, Jeremy Avigad, et al.2025 · 5 citations
16. ProofFlow: A Dependency Graph Approach to Faithful Proof AutoformalizationarXiv:2510.15981Rafael Cabral, Tuan Manh Do, Xuejun Yu, et al.2025 · 5 citations
17. StepFun-Prover Preview: Let's Think and Verify Step by SteparXiv:2507.20199Shijie Shang, Ruosi Wan, Yue Peng, et al.2025 · 5 citations
18. Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem SolvingarXiv:2512.10739Yuzhe Gu, Songyang Gao, Zijian Wu, et al.2025 · 1 citation
19. AgentV-RL: Scaling Reward Modeling with Agentic VerifierFindings of the Association for Computational LinguisticsJiazheng Zhang, Ziche Fu, Zhiheng Xi, et al.2026
20. Graph-Based Phonetic Error Correction of Noisy ASRAnnual Meeting of the Association for Computational Linguistics (ACL)Pratik Rakesh Singh, Mohammadi Zaki, Aneesh Mukkamla, et al.2026
21. Learning from Cognition: Enhancing RL Efficiency for LLM Reasoning via Hierarchical Metacognitive Decomposition and RefinementAnnual Meeting of the Association for Computational Linguistics (ACL)Zexu Sun, Yongcheng Zeng, Erxue Min, et al.2026

60 more citing papers of our library have no page here yet.

↑ back to top

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