---
title: "Juan Zhai — papers of 2026 — 2 papers, the most cited first"
description: "Juan Zhai — papers of 2026: 2 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/juan-zhai/year/2026/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/juan-zhai/year/2026/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Juan Zhai](https://md.research.elamur.ai/free/en/authors/juan-zhai/) / 2026

# Juan Zhai — papers of 2026 — 2 papers, the most cited first

2 papers · [all years of Juan Zhai](https://md.research.elamur.ai/free/en/authors/juan-zhai/#years)

**[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*

**[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*