MedTiny: Enhanced Mediator Modeling Language for Scalable Parallel Algorithms. - Xiangyu Li; Yihao Zhang 012; Xiaokun Luan; Xiaoyong Xue; Meng Sun 002 (QRS Companion, 2023)

Using Z3 for Formal Modeling and Verification of FNN Global Robustness (S). - Yihao Zhang 012; Zeming Wei; Xiyue Zhang 001; Meng Sun 002 (SEKE, 2023)

Using Z3 for Formal Modeling and Verification of FNN Global Robustness. - Yihao Zhang 012; Zeming Wei; Xiyue Zhang 001; Meng Sun 002 (CoRR, 2023)

Adversarial Representation Engineering: A General Model Editing Framework for Large Language Models. - Yihao Zhang 012; Zeming Wei; Jun Sun 001; Meng Sun 002 (NeurIPS, 2024)

MILE: A Mutation Testing Framework of In-Context Learning Systems. - Zeming Wei; Yihao Zhang 012; Meng Sun 002 (SETTA, 2024)

Towards General Conceptual Model Editing via Adversarial Representation Engineering. - Yihao Zhang 012; Zeming Wei; Jun Sun 001; Meng Sun 002 (CoRR, 2024)

Automata Extraction from Transformers. - Yihao Zhang 012; Zeming Wei; Meng Sun 002 (CoRR, 2024)

Weighted automata extraction and explanation of recurrent neural networks for natural language tasks. - Zeming Wei; Xiyue Zhang 001; Yihao Zhang 012; Meng Sun 002 (J. Log. Algebraic Methods Program., 2024)

Automata-Based Steering of Large Language Models for Diverse Structured Generation. - Xiaokun Luan; Zemin Wei; Yihao Zhang 012; Meng Sun 002 (ICFEM, 2025)

MedTiny Code Generation for Enhancing RegLang Smart Contract Reliability. - Xiaokun Luan; Yihao Zhang 012; Meng Sun 002 (SAC, 2025)

Component Composition in MedTiny: Multi-Level Constructs and Operational Semantics. - Xiangyu Li; Yihao Zhang 012; Meng Sun 002 (SEKE, 2025)

Robust and Efficient Watermarking of Large Language Models Using Error Correction Codes. - Xiaokun Luan; Zeming Wei; Yihao Zhang 012; Meng Sun 002 (Proc. Priv. Enhancing Technol., 2025)

Mitigating Fine-tuning Risks in LLMs via Safety-Aware Probing Optimization. - Chengcan Wu; Zhixin Zhang; Zeming Wei; Yihao Zhang 012; Meng Sun 002 (CoRR, 2025)

When Thinking LLMs Lie: Unveiling the Strategic Deception in Representations of Reasoning Models. - Kai Wang; Yihao Zhang 012; Meng Sun 002 (CoRR, 2025)

Automata-Based Steering of Large Language Models for Diverse Structured Generation. - Xiaokun Luan; Zeming Wei; Yihao Zhang 012; Meng Sun 002 (CoRR, 2025)

On Mutation Testing of In-Context Learning Systems. - Zeming Wei; Guanzhang Yue; Yihao Zhang 012; Meng Sun 002 (J. Syst. Archit., 2026)

RACA: Representation-Aware Coverage Criteria for LLM Safety Testing. - Zeming Wei; Zhixin Zhang; Chengcan Wu; Yihao Zhang 012; Xiaokun Luan; Meng Sun 002 (CoRR, 2026)

ClawWorm: Self-Propagating Attacks Across LLM Agent Ecosystems. - Yihao Zhang 012; Zeming Wei; Xiaokun Luan; Chengcan Wu; Zhixin Zhang; Jiangrong Wu; Haolin Wu; Huanran Chen; Jun Sun 001; Meng Sun 002 (CoRR, 2026)

The Salami Slicing Threat: Exploiting Cumulative Risks in LLM Systems. - Yihao Zhang 012; Kai Wang; Jiangrong Wu; Haolin Wu; Yuxuan Zhou; Zeming Wei; Dongxian Wu; Xun Chen; Jun Sun 001; Meng Sun 002 (CoRR, 2026)

Symbolic-Neural Soft-Logic Reasoning: Towards Robust and Verifiable Thinking Chains via Cooperative Evolution. - Rui Wang; Zeming Wei; Yihao Zhang 012; Xiaokun Luan (CoRR, 2026)