--- title: "Jianqiao Lu — author profile and papers — Elamur Research" description: "Jianqiao Lu: 2 papers on Elamur Research (2024) — affiliations, topics, co-authors and who cites them in our library." canonical: "https://research.elamur.ai/free/en/authors/jianqiao-lu/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/jianqiao-lu/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Jianqiao Lu # Jianqiao Lu Jianqiao Lu has 2 papers in our library, in 2024; often with [Yingjia Wan](https://md.research.elamur.ai/free/en/authors/yingjia-wan/), [Zhijiang Guo](https://md.research.elamur.ai/free/en/authors/zhijiang-guo/), [Hongru Wang](https://md.research.elamur.ai/free/en/authors/hongru-wang/). 2 papers in our library · 2024 No OpenAlex profile matched yet. [📄 2 works in our library](https://md.research.elamur.ai/free/en/authors/jianqiao-lu/#papers) · [🔗 Cited 40 times in our library](https://md.research.elamur.ai/free/en/authors/jianqiao-lu/cited-by/) · [⭐ Paper Stars ranking: #7929](https://md.research.elamur.ai/free/en/paper-stars/page/80/#star-7929) The profile is the library's match of the name; two people with one name are not always told apart. Elsewhere: [Google Scholar](https://scholar.google.com/citations?view_op=search_authors&mauthors=Jianqiao+Lu) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Jianqiao+Lu) · [dblp](https://dblp.org/search?q=Jianqiao+Lu) · [ACL Anthology](https://aclanthology.org/search/?q=Jianqiao+Lu) ## Fields, topics and concepts Of its works in our library, with the number of works on each. 📚 Shelves 6 The field of science this work belongs to (OpenAlex fields).[Computer Science · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Artificial Intelligence · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Computational Theory and Mathematics · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) · [Arts and Humanities · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Software · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/software/) · [Language and Linguistics · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) ## Works by year ### 2020s [**2024** 2 papers](https://md.research.elamur.ai/free/en/authors/jianqiao-lu/year/2024/) ## Papers The most cited first (OpenAlex and our library). 1. **[AutoPSV: Automated Process-Supervised Verifier](https://md.research.elamur.ai/free/en/papers/lu-2024-autopsv-automated-process-supervised-verifier/)** *(2024 · 28 citations)* Process-supervised verifiers judge each reasoning step of an LLM solution, which makes them better at reranking answers than outcome-only verifiers. Their weakness is the cost of step labels, which come either from skilled human annotators or from heavy Monte Carlo tree search (MCTS) sampling. AutoPSV avoids both. 2. **[FormalAlign: Automated Alignment Evaluation for Autoformalization](https://md.research.elamur.ai/free/en/papers/lu-2024-formalalign-automated-alignment-evaluation-autoformalization/)** *(2024 · 18 citations)* Autoformalization uses models to turn informal mathematical statements into formal code such as Lean 4. A key weakness is evaluation. Compilers only confirm that the output is valid code, and BLEU or BERTscore only measure surface or embedding similarity. Neither checks whether the formal statement actually means the… ## Co-authors here 7 co-authors with a page, the most papers together first. - [Yingjia Wan](https://md.research.elamur.ai/free/en/authors/yingjia-wan/) ×2 - [Zhijiang Guo](https://md.research.elamur.ai/free/en/authors/zhijiang-guo/) ×2 - [Hongru Wang](https://md.research.elamur.ai/free/en/authors/hongru-wang/) - [Jianbo Dai](https://md.research.elamur.ai/free/en/authors/jianbo-dai/) - [Jing Xiong](https://md.research.elamur.ai/free/en/authors/jing-xiong/) - [Yinya Huang](https://md.research.elamur.ai/free/en/authors/yinya-huang/) - [Zhengying Liu](https://md.research.elamur.ai/free/en/authors/zhengying-liu/) ## Venues Where their works here were published, the most works first, with the editions of those that have a page. - [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/): [NeurIPS 2024](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/2024/) ## Cited by Papers of our library cite their works 40 times (of the 149,439 papers whose bibliographies we read); [8 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/jianqiao-lu/cited-by/). Updated 1 November 2026