Yedi Zhang
6 papers · 2019–2026 · 3 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 ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (22) 🐣 Hot Topic Early Bird
🚀
Conference Pioneer
Top co-authors
Research topics
Artificial Intelligence
(5)
Core AI
(5)
Deep Learning
(4)
Machine Learning
(3)
Optimization & Theory · Machine Learning
(3)
Architectures
(2)
Computer Vision
(1)
Knowledge & Reasoning
(1)
Bayesian & Probabilistic
(1)
Core Methods
(1)
Domain-Specific
(1)
Learning Types
(1)
Optimization & Theory · Deep Learning
(1)
Reasoning
(1)
Techniques
(1)
Keywords
formal methods
(2)
data poisoning
(1)
game theory
(1)
probabilistic logic
(1)
in-context learning
(1)
lane detection
(1)
autonomous driving
(1)
neural network optimization
(1)
formal verification
(1)
gradient descent
(1)
strategic reasoning
(1)
integer linear programming
(1)
principal component regression
(1)
backdoor attack
(1)
diffusion model
(1)
fixed point
(1)
stochastic game
(1)
neural network verification
(1)
temporal logic
(1)
trigger generation
(1)
Papers
Towards Stealthy and Effective Backdoor Attacks on Lane Detection: A Naturalistic Data Poisoning Approach
CVPR 2026
Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods
ICML 2025
Training Dynamics of In-Context Learning in Linear Attention
ICML 2025
Towards Efficient Verification of Quantized Neural Networks
AAAI 2024
Understanding Unimodal Bias in Multimodal Deep Linear Networks
ICML 2024
Probabilistic Alternating-Time µ-Calculus
AAAI 2019