Yu, Emily

1. Stratified Certification for k-Induction
   2022/08/02 by Yu, Emily, Froleyks, Nils, Biere, Armin +1 · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Certifying Phase Abstraction
   2024/05/07 by Froleyks, Nils, Yu, Emily, Biere, Armin +1 · 2 citations
   #FOS: Computer and information sciences #Symbolic Computation (cs.SC)
3. SAMJAM: Zero-Shot Video Scene Graph Generation for Egocentric Kitchen Videos
   2025/04/10 by Joshua Li, Fernando J. Pena Cantu, Li, Joshua +9 · 2 citations
   Computer Science · #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Generative Adversarial Networks and Image Synthesis #Human Pose and Action Recognition #Multimodal Machine Learning Applications