--- title: "Juan Zhai — author profile and papers — Elamur Research" description: "Juan Zhai, University of Massachusetts Amherst: 2 papers on Elamur Research (2026), h-index 16 — affiliations, topics, co-authors and who…" canonical: "https://research.elamur.ai/free/en/authors/juan-zhai/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/juan-zhai/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Juan Zhai # Juan Zhai Juan Zhai has 2 papers in our library, in 2026; often with [Chunrong Fang](https://md.research.elamur.ai/free/en/authors/chunrong-fang/), [Jiaming Wang](https://md.research.elamur.ai/free/en/authors/jiaming-wang/), [Jin Song Dong](https://md.research.elamur.ai/free/en/authors/jin-song-dong/). 2 papers in our library · 2026 [OpenAlex](https://openalex.org/A5071575216) · [ORCID](https://orcid.org/0000-0001-5017-8016) · [Wikidata](https://www.wikidata.org/wiki/Q130800764) · [**h-index 16**](https://openalex.org/authors/A5071575216) · [68 works](https://openalex.org/works?filter=author.id:A5071575216) · [1,944 citations](https://openalex.org/works?filter=author.id:A5071575216&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 2 works in our library](https://md.research.elamur.ai/free/en/authors/juan-zhai/#papers) · [1 more in our library without a page yet](#also) · [⭐ Paper Stars ranking: #12993](https://md.research.elamur.ai/free/en/paper-stars/page/130/#star-12993) 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=Juan+Zhai) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Juan+Zhai) · [dblp](https://dblp.org/search?q=Juan+Zhai) · [ACL Anthology](https://aclanthology.org/search/?q=Juan+Zhai) ## Affiliations [🎓**University of Massachusetts Amherst** Amherst Center · United States 2023–2026 · 28 papers*current*](https://md.research.elamur.ai/free/en/universities/university-of-massachusetts-amherst/) · [🎓**Nanjing University** Nanjing · China 2014–2023 · 17 papers](https://md.research.elamur.ai/free/en/universities/nanjing-university/) · [🎓**Rutgers, The State University of New Jersey** New Brunswick · United States 2017–2023 · 11 papers](https://md.research.elamur.ai/free/en/universities/rutgers-the-state-university-of-new-jersey/) From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. 2 more institutions on single bylines are not listed. ## Fields, topics and concepts Of its works in our library, with the number of works on each. 📚 Shelves 4 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/) · [Information Systems · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/information-systems/) · [Software · 1 work](https://md.research.elamur.ai/free/en/shelves/computer-science/software/) ## Works by year ### 2020s [**2026** 2 papers](https://md.research.elamur.ai/free/en/authors/juan-zhai/year/2026/) ## Papers The most cited first (OpenAlex and our library). 1. **[POSTCONDBENCH: Benchmarking Correctness and Completeness in Formal Postcondition Inference](https://md.research.elamur.ai/free/en/papers/zhang-2026-postcondbench-benchmarking-correctness-completeness-formal/)** *(2026 · 1 citation)* Automatically generated formal postconditions are hard to evaluate. Most prior checks only ask whether a postcondition holds on a correct implementation, so they miss whether it captures enough of the method's behavior. Completeness has mostly been judged by hand or with brittle string/AST matching on small… 2. **[Train in Vain: Functionality-Preserving Poisoning to Prevent Unauthorized Use of Code Datasets](https://md.research.elamur.ai/free/en/papers/xiao-2026-train-vain-functionality-preserving-poisoning/)** *(2026)* Public code corpora are often used to fine-tune code LLMs without their authors' consent. Dataset poisoning can discourage this by making such training unprofitable. The only earlier untargeted method for code, CoProtector, has two main weaknesses. Its edits either break compilation or only touch comments, and it… ## All works 3 works of theirs in our library, the most cited first; 2 with a page here, the others link their original until we summarise them. 1. **[Machine Translation Testing via Syntactic Tree Pruning ↗](https://arxiv.org/abs/2401.00751) arXiv:2401.00751 · no summary yet**Quanjun Zhang et al.*2024 · 8 citations* 2. **[POSTCONDBENCH: Benchmarking Correctness and Completeness in Formal Postcondition Inference](https://md.research.elamur.ai/free/en/papers/zhang-2026-postcondbench-benchmarking-correctness-completeness-formal/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Gehao Zhang, Juan Zhai*2026 · 1 citation* 3. **[Train in Vain: Functionality-Preserving Poisoning to Prevent Unauthorized Use of Code Datasets](https://md.research.elamur.ai/free/en/papers/xiao-2026-train-vain-functionality-preserving-poisoning/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Yuan Xiao, Jiaming Wang, Yuchen Chen, et al.*2026* ## Co-authors here 7 co-authors with a page, the most papers together first. - [Chunrong Fang](https://md.research.elamur.ai/free/en/authors/chunrong-fang/) - [Jiaming Wang](https://md.research.elamur.ai/free/en/authors/jiaming-wang/) - [Jin Song Dong](https://md.research.elamur.ai/free/en/authors/jin-song-dong/) - [Jun Sun](https://md.research.elamur.ai/free/en/authors/jun-sun/) - [Shiqing Ma](https://md.research.elamur.ai/free/en/authors/shiqing-ma/) - [Wei Song](https://md.research.elamur.ai/free/en/authors/wei-song/) - [Zhenyu Chen](https://md.research.elamur.ai/free/en/authors/zhenyu-chen/) ## Venues Where their works here were published, the most works first, with the editions of those that have a page. - [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/) ×2: [Findings of the Association for Computational Linguistics 2026](https://md.research.elamur.ai/free/en/venues/findings/2026/) ×2 Updated 2 November 2026