---
title: "Who cites Yongxin Zhang — 84 papers of our library"
description: "84 papers of the Elamur Research library cite the works of Yongxin Zhang, found in their bibliographies; the most cited first."
canonical: "https://research.elamur.ai/free/en/authors/yongxin-zhang/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/yongxin-zhang/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Yongxin Zhang](https://md.research.elamur.ai/free/en/authors/yongxin-zhang/) / cited by

# Who cites Yongxin Zhang

84 citations of their works from 84 papers of our library (of the 149,439 whose bibliographies we read) · 19 with a page here, the most cited first · [← Yongxin Zhang](https://md.research.elamur.ai/free/en/authors/yongxin-zhang/)

1. [**A Comprehensive Capability Analysis of GPT-3 and GPT-3.5 Series Models arXiv:2303.10420**Junjie Ye, Xuanting Chen, Nuo Xu, et al.*2023 · 283 citations*](https://md.research.elamur.ai/free/en/papers/ye-2023-comprehensive-capability-analysis-gpt-3/)
2. **[DecodingTrust: A Comprehensive Assessment of Trustworthiness in GPT Models](https://md.research.elamur.ai/free/en/papers/wang-2023-decodingtrust-comprehensive-assessment-trustworthiness-gpt/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Boxin Wang, Weixin Chen, Hengzhi Pei, et al.*2023 · 259 citations*
3. **[“I'm sorry to hear that”: Finding New Biases in Language Models with a Holistic Descriptor Dataset](https://md.research.elamur.ai/free/en/papers/smith-2022-i-m-sorry-hear-that/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Eric Michael Smith, Melissa Hall, Melanie Kambadur, et al.*2022 · 167 citations*
4. **[NL-Augmenter: A Framework for Task-Sensitive Natural Language Augmentation](https://md.research.elamur.ai/free/en/papers/dhole-2023-nl-augmenter-framework-task-sensitive/) [Northern European Journal of Language Technology](https://md.research.elamur.ai/free/en/venues/northern-european-journal-of-language-technology/)**Kaustubh Dhole, Varun Gangal, Sebastian Gehrmann, et al.*2023 · 86 citations*
5. [**Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction arXiv:2508.03613**Yong Lin, Shange Tang, Bohan Lyu, et al.*2025 · 67 citations*](https://md.research.elamur.ai/free/en/papers/lin-2025-goedel-prover-v2-scaling-formal/)
6. [**Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving arXiv:2507.23726**Luoxin Chen, Jinming Gu, Liankai Huang, et al.*2025 · 46 citations*](https://md.research.elamur.ai/free/en/papers/chen-2025-seed-prover-deep-broad-reasoning/)
7. **[Aristotle: IMO-level Automated Theorem Proving](https://md.research.elamur.ai/free/en/papers/achim-2025-aristotle-imo-level-automated-theorem/) [SuperIntelligence - Robotics - Safety & Alignment](https://md.research.elamur.ai/free/en/venues/superintelligence-robotics-safety-alignment/)**Tudor Achim, Alex Best, Alberto Bietti, et al.*2025 · 29 citations*
8. [**Hilbert: Recursively Building Formal Proofs with Informal Reasoning arXiv:2509.22819**Sumanth Varambally, Thomas Voice, Yanchao Sun, et al.*2025 · 26 citations*](https://md.research.elamur.ai/free/en/papers/varambally-2025-hilbert-recursively-building-formal-proofs/)
9. [**Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience arXiv:2512.17260**Jiangjie Chen, Wenxiang Chen, Jiacheng Du, et al.*2025 · 19 citations*](https://md.research.elamur.ai/free/en/papers/chen-2025-seed-prover-1-5/)
10. [**Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs arXiv:2506.19923**Kaito Baba, Chaoran Liu, Shuhei Kurita, et al.*2025 · 14 citations*](https://md.research.elamur.ai/free/en/papers/baba-2025-prover-agent-agent-based-framework/)
11. [**Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers arXiv:2509.06493**Ran Xin, Zeyu Zheng, Yanchen Nie, et al.*2025 · 7 citations*](https://md.research.elamur.ai/free/en/papers/xin-2025-scaling-up-multi-turn-off/)
12. [**ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization arXiv:2510.15981**Rafael Cabral, Tuan Manh Do, Xuejun Yu, et al.*2025 · 5 citations*](https://md.research.elamur.ai/free/en/papers/cabral-2025-proofflow-dependency-graph-approach-faithful/)
13. [**StepFun-Prover Preview: Let's Think and Verify Step by Step arXiv:2507.20199**Shijie Shang, Ruosi Wan, Yue Peng, et al.*2025 · 5 citations*](https://md.research.elamur.ai/free/en/papers/shang-2025-stepfun-prover-preview-let-s/)
14. **[TinyAttack: Exploring Stylistic Vulnerabilities in Large Language Models](https://md.research.elamur.ai/free/en/papers/mamta-2026-tinyattack-exploring-stylistic-vulnerabilities-large/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Mamta Mamta, Bogdan Grecu, Oana Cocarascu*2026 · 1 citation*
15. **[Towards a Diagnostic and Predictive Evaluation Methodology for Sequence Labeling Tasks](https://md.research.elamur.ai/free/en/papers/mellado-2026-diagnostic-predictive-evaluation-methodology-sequence/) [Language Resources and Evaluation Conference (LREC)](https://md.research.elamur.ai/free/en/venues/lrec/)**Elena Alvarez-Mellado, Julio Gonzalo*2026 · 1 citation*
16. **[Unveiling the Deficiencies of Pre-trained Text-and-Layout Models in Real-world Visually-rich Document Information Extraction](https://md.research.elamur.ai/free/en/papers/zhang-2026-unveiling-deficiencies-pre-trained-text/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Chong Zhang, Yixi Zhao, Yulu Xie, et al.*2026 · 1 citation*
17. [**Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving arXiv:2512.10739**Yuzhe Gu, Songyang Gao, Zijian Wu, et al.*2025 · 1 citation*](https://md.research.elamur.ai/free/en/papers/gu-2025-intern-s1-mo-long/)
18. **[Learning from Cognition: Enhancing RL Efficiency for LLM Reasoning via Hierarchical Metacognitive Decomposition and Refinement](https://md.research.elamur.ai/free/en/papers/sun-2026-learning-cognition-enhancing-rl-efficiency/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Zexu Sun, Yongcheng Zeng, Erxue Min, et al.*2026*
19. **[Look Within or Beyond? A Theoretical Comparison Between Parameter-Efficient and Full Fine-Tuning](https://md.research.elamur.ai/free/en/papers/liu-2026-look-within-or-beyond-theoretical/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**YongKang Liu, Xingle Xu, Ercong Nie, et al.*2026*

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

- [← back to](https://md.research.elamur.ai/free/en/authors/yongxin-zhang/) — Yongxin Zhang