Yihao Zhang

According to our database, Yihao Zhang authored at least 20 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Symbolic-Neural Soft-Logic Reasoning: Towards Robust and Verifiable Thinking Chains via Cooperative Evolution.

Rui Wang, Zeming Wei, Yihao Zhang, Xiaokun Luan

CoRR, May, 2026

The Salami Slicing Threat: Exploiting Cumulative Risks in LLM Systems.

Yihao Zhang, Kai Wang, Jiangrong Wu, Haolin Wu, Yuxuan Zhou, Zeming Wei, Dongxian Wu, Xun Chen, Jun Sun, Meng Sun

CoRR, April, 2026

ClawWorm: Self-Propagating Attacks Across LLM Agent Ecosystems.

Yihao Zhang, Zeming Wei, Xiaokun Luan, Chengcan Wu, Zhixin Zhang, Jiangrong Wu, Haolin Wu, Huanran Chen, Jun Sun, Meng Sun

CoRR, March, 2026

RACA: Representation-Aware Coverage Criteria for LLM Safety Testing.

Zeming Wei, Zhixin Zhang, Chengcan Wu, Yihao Zhang, Xiaokun Luan, Meng Sun

CoRR, February, 2026

On Mutation Testing of In-Context Learning Systems.

Zeming Wei, Guanzhang Yue, Yihao Zhang, Meng Sun

J. Syst. Archit., 2026

2025

Automata-Based Steering of Large Language Models for Diverse Structured Generation.

Xiaokun Luan, Zeming Wei, Yihao Zhang, Meng Sun

CoRR, November, 2025

When Thinking LLMs Lie: Unveiling the Strategic Deception in Representations of Reasoning Models.

Kai Wang, Yihao Zhang, Meng Sun

CoRR, June, 2025

Mitigating Fine-tuning Risks in LLMs via Safety-Aware Probing Optimization.

Chengcan Wu, Zhixin Zhang, Zeming Wei, Yihao Zhang, Meng Sun

CoRR, May, 2025

Robust and Efficient Watermarking of Large Language Models Using Error Correction Codes.

Xiaokun Luan, Zeming Wei, Yihao Zhang, Meng Sun

Proc. Priv. Enhancing Technol., 2025

Component Composition in MedTiny: Multi-Level Constructs and Operational Semantics.

Xiangyu Li, Yihao Zhang, Meng Sun

Proceedings of the 37th International Conference on Software Engineering and Knowledge Engineering, 2025

MedTiny Code Generation for Enhancing RegLang Smart Contract Reliability.

Xiaokun Luan, Yihao Zhang, Meng Sun

Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, 2025

Automata-Based Steering of Large Language Models for Diverse Structured Generation.

Xiaokun Luan, Zemin Wei, Yihao Zhang, Meng Sun

Proceedings of the Formal Methods and Software Engineering, 2025

2024

Weighted automata extraction and explanation of recurrent neural networks for natural language tasks.

Zeming Wei, Xiyue Zhang, Yihao Zhang, Meng Sun

J. Log. Algebraic Methods Program., January, 2024

Automata Extraction from Transformers.

Yihao Zhang, Zeming Wei, Meng Sun

CoRR, 2024

Towards General Conceptual Model Editing via Adversarial Representation Engineering.

Yihao Zhang, Zeming Wei, Jun Sun, Meng Sun

CoRR, 2024

MILE: A Mutation Testing Framework of In-Context Learning Systems.

Zeming Wei, Yihao Zhang, Meng Sun

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024

Adversarial Representation Engineering: A General Model Editing Framework for Large Language Models.

Yihao Zhang, Zeming Wei, Jun Sun, Meng Sun

Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

2023

Using Z3 for Formal Modeling and Verification of FNN Global Robustness.

Yihao Zhang, Zeming Wei, Xiyue Zhang, Meng Sun

CoRR, 2023

Using Z3 for Formal Modeling and Verification of FNN Global Robustness (S).

Yihao Zhang, Zeming Wei, Xiyue Zhang, Meng Sun

Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023

MedTiny: Enhanced Mediator Modeling Language for Scalable Parallel Algorithms.

Xiangyu Li, Yihao Zhang, Xiaokun Luan, Xiaoyong Xue, Meng Sun

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023