Haoran Yin
Scholar

Haoran Yin

Google Scholar ID: qdDh_Q8AAAAJ
Leiden University
Google Scholar↗
Citations & Impact
All-time
Citations
26
 
H-index
3
 
i10-index
0
 
Publications
6
 
Co-authors
6
list available
Contact
No contact links provided.
Publications
14 items
Pixels to Proofs: Probabilistically-Safe Latent World Model Control via Parallel Conformal Robust MPC
2026
Cited
0
FOCAL: Filtered On-device Continuous Activity Logging for Efficient Personal Desktop Summarization
2026
Cited
0
Landscape-aware Automated Algorithm Design: An Efficient Framework for Real-world Optimization
2026
Cited
0
Scalable Data-Driven Reachability Analysis and Control via Koopman Operators with Conformal Coverage Guarantees
arXiv.org · 2026
Cited
0
InfiniteVL: Synergizing Linear and Sparse Attention for Highly-Efficient, Unlimited-Input Vision-Language Models
2025
Cited
0
Beyond Plain Demos: A Demo-centric Anchoring Paradigm for In-Context Learning in Alzheimer's Disease Detection
2025
Cited
0
ResAD: Normalized Residual Trajectory Modeling for End-to-End Autonomous Driving
2025
Cited
0
Formal Safety Verification and Refinement for Generative Motion Planners via Certified Local Stabilization
2025
Cited
0
Resume (English only)
Co-authors
6 total
Anna V Kononova
Anna V Kononova
LIACS, Leiden University
Thomas Bäck
Thomas Bäck
Professor of Computer Science, Leiden University; Chief Scientist, NORCE Research Centre, Norway
Niki van Stein
Niki van Stein
Leiden University
Gezheng Xu
Gezheng Xu
University of Western Ontario
Furong Ye
Furong Ye
Postdoc, Leiden University
Diederick Vermetten
Diederick Vermetten
LIP6, Sorbonne University, CNRS