Zihan Qin
4 papers · 2023–2026 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Diamond
🗺️
Taxonomy Completionist
(15)
🌈
Renaissance Researcher
(7)
Venues
Top co-authors
Research topics
Artificial Intelligence
(2)
Machine Learning
(2)
Natural Language Processing
(2)
Application Areas
(2)
Applications · Natural Language Processing
(2)
Core AI
(2)
Computer Science
(1)
Computer Vision
(1)
Data Science & Analytics
(1)
Deep Learning
(1)
Interdisciplinary
(1)
Knowledge & Reasoning
(1)
Applications · Computer Science
(1)
Applications · Data Science & Analytics
(1)
Generation
(1)
Keywords
theorem proving
(2)
video generation
(1)
machine translation
(1)
natural language inference
(1)
information retrieval
(1)
text representation
(1)
semantic search
(1)
formal verification
(1)
adversarial attack
(1)
black-box attack
(1)
diffusion model
(1)
semantic embedding
(1)
adversarial loss
(1)
formal mathematics
(1)
large vision-language model
(1)
contrastive loss
(1)
non-autoregressive generation
(1)
large language model
(1)
transferable attack
(1)
interactive theorem prover
(1)
Papers
VCP-Attack: Visual-Contrastive Projection for Transferable Black-Box Targeted Attacks on Large Vision-Language Models
CVPR 2026
Herald: A Natural Language Annotated Lean 4 Dataset
ICLR 2025
A Semantic Search Engine for Mathlib4
EMNLP 2024
GLOBER: Coherent Non-autoregressive Video Generation via GLOBal Guided Video DecodER
NeurIPS 2023