🧑‍🔬 Who cites Jing Xiong

128 citations of their works from 115 papers of our library (of the 149,439 whose bibliographies we read) · 17 with a page here, the most cited first · ← Jing Xiong

1. MetaMath: Bootstrap Your Own Mathematical Questions for Large Language ModelsarXiv:2309.12284Longhui Yu, Weisen Jiang, Han Shi, et al.2023 · 565 citations
2. DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal DecompositionarXiv:2504.21801Z. Z. Ren, Zhihong Shao, Junxiao Song, et al.2025 · 122 citations
3. DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree SearcharXiv:2408.08152Huajian Xin, Z. Z. Ren, Junxiao Song, et al.2024 · 116 citations
4. DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic DataarXiv:2405.14333Huajian Xin, Daya Guo, Zhihong Shao, et al.2024 · 111 citations
5. AutoPSV: Automated Process-Supervised VerifierConference on Neural Information Processing Systems (NeurIPS)Jianqiao Lu, Zhiyang Dou, Hongru Wang, et al.2024 · 28 citations
6. DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context LearningarXiv:2310.02954Jing Xiong, Zixuan Li, Chuanyang Zheng, et al.2023 · 27 citations
7. AI4Research: A Survey of Artificial Intelligence for Scientific ResearchScience China Information SciencesQiguang Chen, Mingda Yang, Libo Qin, et al.2025 · 21 citations
8. ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of DataConference on Neural Information Processing Systems (NeurIPS)Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, et al.2025 · 16 citations
9. Beyond Math: Stories as a Testbed for Memorization-Constrained Reasoning in LLMsConference of the European Chapter of the Association for Computational Linguistics (EACL)Yuxuan Jiang, Francis Ferraro2026 · 10 citations
10. REAL-Prover: Retrieval Augmented Lean Prover for Mathematical ReasoningarXiv:2505.20613Ziju Shen, Naohao Huang, Fanyi Yang, et al.2025 · 10 citations
11. Expression Syntax Information Bottleneck for Math Word ProblemsInternational ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR)Jing Xiong, Chengming Li, Min Yang, et al.2023 · 10 citations
12. Locate, Steer, and Improve: A Practical Survey of Actionable Mechanistic Interpretability in Large Language ModelsFindings of the Association for Computational LinguisticsHengyuan Zhang, Zhihao Zhang, Ercong Nie, et al.2026 · 9 citations
13. Theorem Prover as a Judge for Synthetic Data GenerationAnnual Meeting of the Association for Computational Linguistics (ACL)Joshua Ong Jun Leang, Giwon Hong, Wenda Li, et al.2025 · 9 citations
14. Reason Only When Needed: Efficient Generative Reward Modeling via Model-Internal UncertaintyFindings of the Association for Computational LinguisticsChao Xue, Yao Wang, Mengqiao Liu, et al.2026 · 8 citations
15. Why Supervised Fine-Tuning Fails to Learn: A Systematic Study of Incomplete Learning in Large Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Chao Xue, Yao Wang, Mengqiao Liu, et al.2026 · 6 citations
16. Dynamic Sampling that Adapts: Self-Aware Iterative Data Persistent Optimization for Mathematical ReasoningFindings of the Association for Computational LinguisticsJun Rao, Xuebo Liu, Hexuan Deng, et al.2026 · 4 citations
17. MathAgent: Adversarial Evolution of Constraint Graphs for Mathematical Reasoning Data SynthesisFindings of the Association for Computational LinguisticsZixiong Yu, Jun Rao, Guhan Chen, et al.2026 · 3 citations

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

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