🧑‍🔬 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

1. A Comprehensive Capability Analysis of GPT-3 and GPT-3.5 Series ModelsarXiv:2303.10420Junjie Ye, Xuanting Chen, Nuo Xu, et al.2023 · 283 citations
2. DecodingTrust: A Comprehensive Assessment of Trustworthiness in GPT ModelsConference on Neural Information Processing Systems (NeurIPS)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 DatasetConference on Empirical Methods in Natural Language Processing (EMNLP)Eric Michael Smith, Melissa Hall, Melanie Kambadur, et al.2022 · 167 citations
4. NL-Augmenter: A Framework for Task-Sensitive Natural Language AugmentationNorthern European Journal of Language TechnologyKaustubh Dhole, Varun Gangal, Sebastian Gehrmann, et al.2023 · 86 citations
5. 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
6. Seed-Prover: Deep and Broad Reasoning for Automated Theorem ProvingarXiv:2507.23726Luoxin Chen, Jinming Gu, Liankai Huang, et al.2025 · 46 citations
7. Aristotle: IMO-level Automated Theorem ProvingSuperIntelligence - Robotics - Safety & AlignmentTudor Achim, Alex Best, Alberto Bietti, et al.2025 · 29 citations
8. Hilbert: Recursively Building Formal Proofs with Informal ReasoningarXiv:2509.22819Sumanth Varambally, Thomas Voice, Yanchao Sun, et al.2025 · 26 citations
9. 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
10. Prover Agent: An Agent-Based Framework for Formal Mathematical ProofsarXiv:2506.19923Kaito Baba, Chaoran Liu, Shuhei Kurita, et al.2025 · 14 citations
11. 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
12. ProofFlow: A Dependency Graph Approach to Faithful Proof AutoformalizationarXiv:2510.15981Rafael Cabral, Tuan Manh Do, Xuejun Yu, et al.2025 · 5 citations
13. StepFun-Prover Preview: Let's Think and Verify Step by SteparXiv:2507.20199Shijie Shang, Ruosi Wan, Yue Peng, et al.2025 · 5 citations
14. TinyAttack: Exploring Stylistic Vulnerabilities in Large Language ModelsFindings of the Association for Computational LinguisticsMamta Mamta, Bogdan Grecu, Oana Cocarascu2026 · 1 citation
15. Towards a Diagnostic and Predictive Evaluation Methodology for Sequence Labeling TasksLanguage Resources and Evaluation Conference (LREC)Elena Alvarez-Mellado, Julio Gonzalo2026 · 1 citation
16. Unveiling the Deficiencies of Pre-trained Text-and-Layout Models in Real-world Visually-rich Document Information ExtractionFindings of the Association for Computational LinguisticsChong Zhang, Yixi Zhao, Yulu Xie, et al.2026 · 1 citation
17. 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
18. 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
19. Look Within or Beyond? A Theoretical Comparison Between Parameter-Efficient and Full Fine-TuningAnnual Meeting of the Association for Computational Linguistics (ACL)YongKang Liu, Xingle Xu, Ercong Nie, et al.2026

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

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