Yicheng Qian
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2022–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | lean-smt: An SMT Tactic for Discharging Proof Goals in Lean. | Abdalrhman Mohamed, Tomaz Mascarenhas, Harun Khan, Haniel Barbosa, Andrew Reynolds, Yicheng Qian, Cesare Tinelli, Clark W. Barrett |
| 2025 | CAV | Lean-Auto: An Interface Between Lean 4 and Automated Theorem Provers. | Yicheng Qian, Joshua Clune, Clark W. Barrett, Jeremy Avigad |
| 2025 | EMNLP | RealBench: A Chinese Multi-image Understanding Benchmark Close to Real-world Scenarios. | Fei Zhao, Chengqiang Lu, Yufan Shen, Qimeng Wang, Yicheng Qian, Haoxin Zhang, Yan Gao, Wu Yi, Yao Hu, Zhen Wu, Shangyu Xing, Xinyu Dai |
| 2024 | ITP | Duper: A Proof-Producing Superposition Theorem Prover for Dependent Type Theory. | Joshua Clune, Yicheng Qian, Alexander Bentkamp, Jeremy Avigad |
| 2023 | CVPR | Weakly Supervised Video Representation Learning with Unaligned Text for Sequential Videos. | Sixun Dong, Huazhang Hu, Dongze Lian, Weixin Luo, Yicheng Qian, Shenghua Gao |
| 2022 | CVPR | SVIP: Sequence VerIfication for Procedures in Videos. | Yicheng Qian, Weixin Luo, Dongze Lian, Xu Tang, Peilin Zhao, Shenghua Gao |
| 2022 | WCNC | Neighbor Discovery in a LoRa Assisted Multi-Transceiver Free-Space-Optical Network. | Jessica Vazquez-Estrada, Suman Bhunia, Mahmudur Khan, Yicheng Qian, Nero Tran Huu |