Qin, Zihan
- Herald: A Natural Language Annotated Lean 4 Dataset
2024/10/09 by Guoxiong Gao, Yutong Wang, Gao, Guoxiong +11 · 21 citations
Business, Management and Accounting · Engineering · #Advanced Manufacturing and Logistics Optimization #Artificial Intelligence (cs.AI) #Big Data and Business Intelligence #Computation and Language (cs.CL) #FOS: Computer and information sciences #Flexible and Reconfigurable Manufacturing Systems #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
- A Semantic Search Engine for Mathlib4
2024/03/20 by Gao, Guoxiong, Ju, Haocheng, Jiang, Jiedong +2 · 11 citations
#FOS: Computer and information sciences #Information Retrieval (cs.IR) #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
- The RoboDrive Challenge: Drive Anytime Anywhere in Any Condition
2024/05/14 by Ling-Dong Kong, Kong, Lingdong, Shaoyuan Xie +179 · 8 citations
Computer Science · #Advanced Software Engineering Methodologies #Real-Time Systems Scheduling
- MM-LDM: Multi-Modal Latent Diffusion Model for Sounding Video Generation
2024/10/02 by Mingzhen Sun, Sun, Mingzhen, Weining Wang +12 · 5 citations
Computer Science · #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Music and Audio Processing
- The Fourth Monocular Depth Estimation Challenge
2025/04/24 by Anton Obukhov, Obukhov, Anton, Matteo Poggi +109 · 3 citations
Engineering · Computer Science · #Industrial Vision Systems and Defect Detection #Optical measurement and interference techniques #Image Processing Techniques and Applications
- Adaptive Stereo Depth Estimation with Multi-Spectral Images Across All Lighting Conditions
2024/11/06 by Zihan Qin, Jialei Xu, Qin, Zihan +7 · 1 citation
Computer Science · Physics and Astronomy · #Advanced Vision and Imaging #Artificial Intelligence (cs.AI) #Color Science and Applications #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Image Enhancement Techniques