Gong, Yeyun
Microsoft Research Asia (China)
14 papers on CoChatORCID 0000-0001-9954-9674
Most cited papers
- Verified
CRITIC: Large Language Models Can Self-Correct with Tool-Interactive Critiquing
Gou, Z., Shao, Z., Gong, Y., Shen, Y., Yang, Y., Duan, N., & Chen, W. (2023) · arXiv
Topic ModelingNatural Language Processing Techniques
Cited by 561
- Verified
CMMLU: Measuring massive multitask language understanding in Chinese
Li, H., Zhang, Y., Koto, F., Yang, Y., Zhao, H., Gong, Y., Duan, N., & Baldwin, T. (2023) · arXiv
Topic ModelingNatural Language Processing Techniques
Cited by 464
- Verified
Enhancing Retrieval-Augmented Large Language Models with Iterative Retrieval-Generation Synergy
Shao, Z., Gong, Y., Shen, Y., Huang, M., Duan, N., & Chen, W. (2023) · Findings of the Association for Computational Linguistics: EMNLP 2023
Topic ModelingInformation Retrieval and Search Behavior
Cited by 200
- Verified
Enhancing Retrieval-Augmented Large Language Models with Iterative Retrieval-Generation Synergy
Shao, Z., Gong, Y., Shen, Y., Huang, M., Duan, N., & Chen, W. (2023) · arXiv
Topic ModelingInformation Retrieval and Search Behavior
Cited by 200
- Verified
From Intention To Implementation: Automating Biomedical Research via LLMs
Luo, Y., Shi, L., Li, Y., Zhuang, A., Gong, Y., Liu, L., & Lin, C. (2024) · arXiv
Scientific Computing and Data ManagementArtificial Intelligence Applications
Cited by 53
- Verified
AnnoLLM: Making Large Language Models to Be Better Crowdsourced Annotators
He, X., Lin, Z., Gong, Y., Jin, A.-L., Zhang, H., Lin, C., Jiao, J., Yiu, S. M., Duan, N., & Chen, W. (2023) · arXiv
Topic ModelingNatural Language Processing Techniques
Cited by 34
- Verified
ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving
Gou, Z., Shao, Z., Gong, Y., Shen, Y., Yang, Y., Huang, M., Duan, N., & Chen, W. (2023) · arXiv
Topic ModelingMathematics, Computing, and Information Processing
Cited by 24
- Verified
AutoVerus: Automated Proof Generation for Rust Code
Yang, C., Li, X., Misu, M. R. H., Yao, J., Cui, W., Gong, Y., Hawblitzel, C., Lahiri, S., Lorch, J. R., Lu, S., et al. (2024) · arXiv
Logic, programming, and type systemsSoftware Testing and Debugging Techniques
Cited by 20
- Verified
AutoVerus: Automated Proof Generation for Rust Code
Yang, C., Li, X., Misu, M. R. H., Yao, J., Cui, W., Gong, Y., Hawblitzel, C., Lahiri, S., Lorch, J. R., Lu, S., et al. (2025) · Proceedings of the ACM on Programming Languages
Logic, programming, and type systemsSoftware Testing and Debugging Techniques
Cited by 20
- Verified
Query Rewriting for Retrieval-Augmented Large Language Models
Ma, X., Gong, Y., He, P., Zhao, H., & Duan, N. (2023) · arXiv
Information Retrieval and Search BehaviorTopic Modeling
Cited by 14
- Verified
Question Generation With Doubly Adversarial Nets
Bao, J., Gong, Y., Duan, N., Zhou, M., & Zhao, T. (2018) · IEEE/ACM Transactions on Audio, Speech, and Language Processing
Topic ModelingNatural Language Processing Techniques
Cited by 14
- Verified
Not All Tokens Are What You Need for Pretraining
Lin, Z., Gou, Z., Gong, Y., Liu, X., Shen, Y., Xu, R., Lin, C., Yang, Y., Jiao, J., Duan, N., et al. (2024) · Advances in Neural Information Processing Systems 37
Topic ModelingNatural Language Processing Techniques
Cited by 9
- Verified
Automated Proof Generation for Rust Code via Self-Evolution
Chen, T., Lu, S., Lu, S., Gong, Y., Yang, C., Li, X., Misu, M. R. H., Yu, H., Duan, N., Cheng, P., et al. (2024) · arXiv
Logic, programming, and type systemsSoftware Testing and Debugging Techniques
Cited by 1
- Verified
Beyond Pass@1: Self-Play with Variational Problem Synthesis Sustains RLVR
Liang, X., Li, Z., Gong, Y., Shen, Y., Wu, Y. N., Guo, Z., & Chen, W. (2025) · arXiv
Topic ModelingReinforcement Learning in Robotics
Cited by 0
Go further with a free account
Verify every reference, keep papers in a library, and ask questions across them.
Sign up - it is free