Yedi Zhang
5 papers · 2019–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π Cross-Pollinator (15) π Conference Polyglot (2) π Academic Marathon (6) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (11)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Conference Pioneer
Conferences
ICML (3)
AAAI (2)
Top co-authors
Keywords
probabilistic modeling
(1)
game theory
(1)
probabilistic logic
(1)
neural network optimization
(1)
formal methods
(1)
formal verification
(1)
strategic reasoning
(1)
integer linear programming
(1)
stochastic game
(1)
neural network verification
(1)
temporal logic
(1)
model checking
(1)
quantized neural network
(1)
bound propagation
(1)
multi-agent system
(1)
alternating-time mu calculus
(1)
strategic abilities
(1)
alternating-time mu-calculus
(1)
Papers
Training Dynamics of In-Context Learning in Linear Attention
ICML 2025
Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods
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