Row-clustering of a Point Process-valued Matrix. - Lihao Yin; Ganggang Xu; Huiyan Sang; Yongtao Guan (NeurIPS, 2021)

NeuroSelect: Learning to Select Clauses in SAT Solvers. - Hongduo Liu; Peng Xu; Yuan Pu 001; Lihao Yin; Hui-Ling Zhen; Mingxuan Yuan; Tsung-Yi Ho; Bei Yu 001 (DAC, 2024)

SoLA: Solver-Layer Adaption of LLM for Better Logic Reasoning. - Yu Zhang 189; Hui-Ling Zhen; Zehua Pei; Yingzhao Lian; Lihao Yin; Mingxuan Yuan; Bei Yu 001 (CoRR, 2024)

Certifying Language Model Robustness with Fuzzed Randomized Smoothing: An Efficient Defense Against Backdoor Attacks. - Bowei He; Lihao Yin; Hui-Ling Zhen; Jianping Zhang 002; Lanqing Hong; Mingxuan Yuan; Chen Ma 001 (ICLR, 2025)

PASER: Post-Training Data Selection for Efficient Pruned Large Language Model Recovery. - Bowei He; Lihao Yin; Hui-Ling Zhen; Xiaokun Zhang 001; Mingxuan Yuan; Chen Ma 001 (CoRR, 2025)

An attention-aware GNN-based input defender against multi-turn jailbreak on LLMs. - Zixuan Huang; Kecheng Huang; Lihao Yin; Bowei He; Hui-Ling Zhen; Mingxuan Yuan; Zili Shao (CoRR, 2025)