Zhiming Liu
5 papers · 2019–2026 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π Conference Polyglot (3) π Academic Marathon (7) π Renaissance Researcher (7) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (18)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Cross-Pollinator
(14)
Conferences
AAAI (3)
CVPR (1)
WACV (1)
Top co-authors
Keywords
adversarial robustness
(1)
image restoration
(1)
object detection
(1)
chain-of-thought reasoning
(1)
video restoration
(1)
formal methods
(1)
nonlinear control
(1)
linear programming
(1)
polynomial optimization
(1)
backdoor attack
(1)
adversarial attack
(1)
recurrent neural network
(1)
deep neural network
(1)
neural network verification
(1)
safety verification
(1)
robust control
(1)
bayesian neural network
(1)
end-to-end training
(1)
multi-scale feature
(1)
temporal consistency
(1)
Papers
DMAT: An End-to-End Framework for Joint Atmospheric Turbulence Mitigation and Object Detection
WACV 2026
RMFAT: Recurrent Multi-scale Feature Atmospheric Turbulence Mitigator
AAAI 2026
BadThink: Triggered Overthinking Attacks on Chain-of-Thought Reasoning in Large Language Models
AAAI 2026
Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers
AAAI 2023
Robustness Verification of Classification Deep Neural Networks via Linear Programming
CVPR 2019