--- title: "Jianhao Shen — papers of 2023 — 4 papers, the most cited first" description: "Jianhao Shen — papers of 2023: 4 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/jianhao-shen/year/2023/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/jianhao-shen/year/2023/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Jianhao Shen](https://md.research.elamur.ai/free/en/authors/jianhao-shen/) / 2023 # Jianhao Shen — papers of 2023 — 4 papers, the most cited first 4 papers · [all years of Jianhao Shen](https://md.research.elamur.ai/free/en/authors/jianhao-shen/#years) - [FIMO: A Challenge Formal Dataset for Automated Theorem Proving arXiv:2309.04295](https://md.research.elamur.ai/free/en/papers/liu-2023-fimo-challenge-formal-dataset-automated/) — Chengwu Liu, Jianhao Shen, Huajian Xin, et al. · 2023 · 53 citations **[DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function](https://md.research.elamur.ai/free/en/papers/wang-2023-dt-solver-automated-theorem-proving/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Haiming Wang, Ye Yuan, Zhengying Liu, et al.*2023 · 40 citations* - [Lyra: Orchestrating Dual Correction in Automated Theorem Proving arXiv:2309.15806](https://md.research.elamur.ai/free/en/papers/zheng-2023-lyra-orchestrating-dual-correction-automated/) — Chuanyang Zheng, Haiming Wang, Enze Xie, et al. · 2023 · 24 citations **[TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models](https://md.research.elamur.ai/free/en/papers/xiong-2023-trigo-benchmarking-formal-mathematical-proof/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Jing Xiong, Jianhao Shen, Ye Yuan, et al.*2023 · 21 citations*