← Search

Zhiming Liu

7 accepted papers

2026

BadThink: Triggered Overthinking Attacks on Chain-of-Thought Reasoning in Large Language Models

AAAI 2026technical

Recent advances in Chain-of-Thought (CoT) prompting have substantially improved the reasoning capabilities of large language models (LLMs), but have also introduced their computational efficiency as a new attack surface. In this paper, we propose BadThink, the first backdoor attack designed to delib

Cited by 0SourcePDFScholar
2026

Correcting Visual Blur Induced by Attention Distraction to Reduce Hallucinations: Algorithm and Theory

ICML 2026poster

Multimodal large language models (MLLMs) frequently suffer from object hallucinations, yet the visual perceptual mechanism underlying this failure remains poorly understood. In this work, we reveal that hallucinations are strongly associated with a human-like attention distraction phenomenon, where …

Cited by 0SourceScholar
2026

Von Mises-Fisher Mixture Model with Dynamic Shrinkage for Realistic Test-Time Transduction

ICML 2026poster

Many methods aim to enhance the performance of vision-language models (VLMs) at test time. Among them, transduction has emerged as a promising paradigm due to its strong compatibility and efficiency. However, realistic evaluations often involve highly imbalanced class distributions, which cause perf…

Cited by 0SourceScholar
2023

Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers

AAAI 2023technical

Bayesian neural networks (BNNs) retain NN structures with a probability distribution placed over their weights. With the introduced uncertainties and redundancies, BNNs are proper choices of robust controllers for safety-critical control systems. This paper considers the problem of verifying the saf…

2022

Opto-electrotactile Feedback Enabled Text-line Tracking Control for A Finger-wearable Reading Aid for the Blind

ICRA 2022poster

In this paper, to achieve the goal of aiding the blind and visually impaired (BVI) to read any text not written in Braille, a custom-built, finger-wearable, and electro-tactile based Braille reading system with its Rapid Optical Character Recognition (R-OCR) method is developed. The R-OCR is capable…

Cited by 4SourceScholar
2019

Robustness Verification of Classification Deep Neural Networks via Linear Programming

CVPR 2019poster

There is a pressing need to verify robustness of classification deep neural networks (CDNNs) as they are embedded in many safety-critical applications. Existing robustness verification approaches rely on computing the over-approximation of the output set, and can hardly scale up to practical CDNNs,…

Cited by 49PDFScholar