Elamur Research⌕
☰
home / authors / Jianqiao Lu

Jianqiao Lu

Jianqiao Lu has 2 papers in our library, in 2024; often with Yingjia Wan, Zhijiang Guo, Hongru Wang.

2 papers in our library · 2024

No OpenAlex profile matched yet.

📄 2 works in our library · 🔗 Cited 40 times in our library · ⭐ Paper Stars ranking: #7929

The profile is the library's match of the name; two people with one name are not always told apart.

Elsewhere: Google Scholar · Semantic Scholar · dblp · ACL Anthology

 Fields, topics and concepts

Of its works in our library, with the number of works on each.

📚 Shelves 6The field of science this work belongs to (OpenAlex fields).Computer Science · 2 worksArtificial Intelligence · 2 worksComputational Theory and Mathematics · 2 worksArts and Humanities · 1 workSoftware · 1 workLanguage and Linguistics · 1 work

 Works by year

2020s

20242 papers

 Papers

The most cited first (OpenAlex and our library).

  1. 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 (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.

Venues

Where their works here were published, the most works first, with the editions of those that have a page.

 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 →.

Updated

This page in Markdown → https://md.research.elamur.ai/free/en/authors/jianqiao-lu/