---
title: "Kai Chen — papers of 2024 — 7 papers, the most cited first"
description: "Kai Chen — papers of 2024: 7 papers on Elamur Research, the most cited first — what each work is about in our own words."
canonical: "https://research.elamur.ai/free/en/authors/kai-chen/year/2024/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/kai-chen/year/2024/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Kai Chen](https://md.research.elamur.ai/free/en/authors/kai-chen/) / 2024

# Kai Chen — papers of 2024 — 7 papers, the most cited first

7 papers · [all years of Kai Chen](https://md.research.elamur.ai/free/en/authors/kai-chen/#years)

- [InternLM2 Technical Report arXiv:2403.17297](https://md.research.elamur.ai/free/en/papers/cai-2024-internlm2-technical-report/) — Zheng Cai, Maosong Cao, Haojiong Chen, et al. · 2024 · 301 citations

**[Lean Workbook: A large-scale Lean problem set formalized from natural language math problems](https://md.research.elamur.ai/free/en/papers/ying-2024-lean-workbook-large-scale-lean/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Huaiyuan Ying, Zijian Wu, Yihan Geng, et al.*2024 · 80 citations*

**[MathBench: Evaluating the Theory and Application Proficiency of LLMs with a Hierarchical Mathematics Benchmark](https://md.research.elamur.ai/free/en/papers/liu-2024-mathbench-evaluating-theory-application-proficiency/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Hongwei Liu, Zilong Zheng, Yuxuan Qiao, et al.*2024 · 70 citations*

**[Agent-FLAN: Designing Data and Methods of Effective Agent Tuning for Large Language Models](https://md.research.elamur.ai/free/en/papers/chen-2024-agent-flan-designing-data-methods/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Zehui Chen, Kuikun Liu, Qiuchen Wang, et al.*2024 · 64 citations*

- [InternLM2.5-StepProver: Advancing Automated Theorem Proving via Critic-Guided Search arXiv:2410.15700](https://md.research.elamur.ai/free/en/papers/wu-2024-internlm2-5-stepprover-advancing-automated/) — Zijian Wu, Suozhi Huang, Zhejian Zhou, et al. · 2024 · 59 citations
- [MindSearch: Mimicking Human Minds Elicits Deep AI Searcher arXiv:2407.20183](https://md.research.elamur.ai/free/en/papers/chen-2024-mindsearch-mimicking-human-minds-elicits/) — Zehui Chen, Kuikun Liu, Qiuchen Wang, et al. · 2024 · 20 citations
- [InternLM-Law: An Open Source Chinese Legal Large Language Model arXiv:2406.14887](https://md.research.elamur.ai/free/en/papers/fei-2024-internlm-law-open-source/) — Zhiwei Fei, Songyang Zhang, Xiaoyu Shen, et al. · 2024 · 9 citations