🧑🔬 Juan Zhai — papers of 2026 — 2 papers, the most cited first2 papers · all years of Juan ZhaiPOSTCONDBENCH: Benchmarking Correctness and Completeness in Formal Postcondition InferenceFindings of the Association for Computational LinguisticsGehao Zhang, Juan Zhai2026 · 1 citationTrain in Vain: Functionality-Preserving Poisoning to Prevent Unauthorized Use of Code DatasetsFindings of the Association for Computational LinguisticsYuan Xiao, Jiaming Wang, Yuchen Chen, et al.2026This page in Markdown → https://md.research.elamur.ai/free/en/authors/juan-zhai/year/2026/