Logic-in-Frames: Dynamic Keyframe Search via Visual Semantic-Logical Verification for Long Video Understanding - Guo, Weiyu; Chen, Ziyang; WANG, Shaoguang; He, Jianxiang; Xu, Yijie; Ye, Jinhui; Sun, Ying; Xiong, Hui (Advances in Neural Information Processing Systems, 2025)