Evaluating the Claims of "SAT Requires Exhaustive Search". - Michael C. Chavrimootoo; Yumeng He; Matan Kotler-Berkowitz; Harry Liuson; Zeyu Nie (CoRR, 2023)

A Critique of Du's "A Polynomial-Time Algorithm for 3-SAT. - Yumeng He; Matan Kotler-Berkowitz; Harry Liuson; Zeyu Nie (CoRR, 2024)

Mitigating Spurious Correlations in Few-Shot Classification via Bias and Dynamic Prompt. - Yalong Cheng; Chuiyi Chen; Zeyu Nie; Zhipeng Liu; Jun Liang (ICIC (2), 2025)