Qian, Yicheng

1. Lean-SMT: An SMT tactic for discharging proof goals in Lean
   2025/05/21 by Mohamed, Abdalrhman, Mascarenhas, Tomaz, Khan, Harun +5 · 6 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. SVIP: Sequence VerIfication for Procedures in Videos
   2021/12/13 by Yicheng Qian, Qian, Yicheng, Weixin Luo +9 · 1 citation
   Biochemistry, Genetics and Molecular Biology · Computer Science · #Anomaly Detection Techniques and Applications #Cell Image Analysis Techniques #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Human Pose and Action Recognition
3. Lean-auto: An Interface between Lean 4 and Automated Theorem Provers
   2025/05/20 by Qian, Yicheng, Clune, Joshua, Barrett, Clark +1 · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
4. AutoNeural: Co-Designing Vision-Language Models for NPU Inference
   2025/12/02 by Wei Chen, Chen, Wei, Liangmin Wu +24 · 2 citations
   Computer Science · #Advanced Neural Network Applications #Domain Adaptation and Few-Shot Learning #Multimodal Machine Learning Applications #cs.CL