9 citations · 9 across the 3 of their papers we have counts for
3 papers
cs.LO2026
Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers
Manqing Zhang, Yunwei Dong, Lingru Zhou +2
Formal verification using interactive theorem provers ensures high-quality software. However, writing proof scripts for interactive theorem provers is labor-intensive and requires…
cs.CV2023
Human-centric Behavior Description in Videos: New Benchmark and Model
Lingru Zhou, Yiqi Gao, Manqing Zhang +3
In the domain of video surveillance, describing the behavior of each individual within the video is becoming increasingly essential, especially in complex scenarios with multiple i…
cs.CV2023★ 9 cited
VadCLIP: Adapting Vision-Language Models for Weakly Supervised Video Anomaly Detection
Peng Wu, Xuerong Zhou, Guansong Pang +4
The recent contrastive language-image pre-training (CLIP) model has shown great success in a wide range of image-level tasks, revealing remarkable ability for learning powerful vis…