Lingru Zhou

According to our database, Lingru Zhou authored at least 4 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers.

Manqing Zhang, Yunwei Dong, Lingru Zhou, Bingxu Xiao, Yepang Liu

CoRR, April, 2026

TargetVAU: Multimodal Anomaly-Aware Reasoning for Target Behavior Understanding in Videos.

Lingru Zhou, Peng Wu, Manqing Zhang, Qingsheng Wang, Guansong Pang, Peng Wang

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2024

Human-Centric Behavior Description in Videos: New Benchmark and Model.

Lingru Zhou, Yiqi Gao, Manqing Zhang, Peng Wu, Peng Wang, Yanning Zhang

IEEE Trans. Multim., 2024

VadCLIP: Adapting Vision-Language Models for Weakly Supervised Video Anomaly Detection.

Peng Wu, Xuerong Zhou, Guansong Pang, Lingru Zhou, Qingsen Yan, Peng Wang, Yanning Zhang

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024