🧑‍🔬 Who cites Jing Tang

160 citations of their works from 155 papers of our library (of the 149,439 whose bibliographies we read) · 21 with a page here, the most cited first · ← Jing Tang

1. Evaluating the Factual Consistency of Abstractive Text SummarizationConference on Empirical Methods in Natural Language Processing (EMNLP)Wojciech Kryscinski, Bryan McCann, Caiming Xiong, et al.2020 · 1,120 citations
2. Bottom-Up Abstractive SummarizationConference on Empirical Methods in Natural Language Processing (EMNLP)Sebastian Gehrmann, Yuntian Deng, Alexander Rush2018 · 947 citations
3. MetaMath: Bootstrap Your Own Mathematical Questions for Large Language ModelsarXiv:2309.12284Longhui Yu, Weisen Jiang, Han Shi, et al.2023 · 565 citations
4. Neural Text Summarization: A Critical EvaluationConference on Empirical Methods in Natural Language Processing (EMNLP)Wojciech Kryscinski, Nitish Shirish Keskar, Bryan McCann, et al.2019 · 559 citations
5. HIBERT: Document Level Pre-training of Hierarchical Bidirectional Transformers for Document SummarizationAnnual Meeting of the Association for Computational Linguistics (ACL)Xingxing Zhang, Furu Wei, Ming Zhou2019 · 451 citations
6. On Extractive and Abstractive Neural Document Summarization with Transformer Language ModelsConference on Empirical Methods in Natural Language Processing (EMNLP)Jonathan Pilault, Raymond Li, Sandeep Subramanian, et al.2020 · 261 citations
7. Scoring Sentence Singletons and Pairs for Abstractive SummarizationAnnual Meeting of the Association for Computational Linguistics (ACL)Logan Lebanoff, Kaiqiang Song, Franck Dernoncourt, et al.2019 · 159 citations
8. What Have We Achieved on Text Summarization?Conference on Empirical Methods in Natural Language Processing (EMNLP)Dandan Huang, Leyang Cui, Sen Yang, et al.2020 · 143 citations
9. Understanding Factual Errors in Summarization: Errors, Summarizers, Datasets, Error DetectorsAnnual Meeting of the Association for Computational Linguistics (ACL)Liyan Tang, Tanya Goyal, Alex Fabbri, et al.2023 · 126 citations
10. 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
11. PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical CompetitionConference on Neural Information Processing Systems (NeurIPS)George Tsoukalas, Jasper Lee, John Jennings, et al.2024 · 93 citations
12. Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement LearningarXiv:2504.11354Haiming Wang, Mert Unsal, Xiaohan Lin, et al.2025 · 92 citations
13. AutoPSV: Automated Process-Supervised VerifierConference on Neural Information Processing Systems (NeurIPS)Jianqiao Lu, Zhiyang Dou, Hongru Wang, et al.2024 · 28 citations
14. AI4Research: A Survey of Artificial Intelligence for Scientific ResearchScience China Information SciencesQiguang Chen, Mingda Yang, Libo Qin, et al.2025 · 21 citations
15. FormalAlign: Automated Alignment Evaluation for AutoformalizationarXiv:2410.10135Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.2024 · 18 citations
16. 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
17. CriticLean: Critic-Guided Reinforcement Learning for Mathematical FormalizationAnnual Meeting of the Association for Computational Linguistics (ACL)Zhongyuan Peng, Yifan Yao, Kaijing Ma, et al.2026 · 12 citations
18. 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
19. 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
20. Comparing Approaches to Automatic Summarization in Less-Resourced LanguagesLanguage Resources and Evaluation Conference (LREC)Chester Palen-Michel, Constantine Lignos2026
21. FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in LeanAnnual Meeting of the Association for Computational Linguistics (ACL)Jordan Meadows, Lan Zhang, Andre Freitas2026

134 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/jing-tang/cited-by/