Yicheng Qian

According to our database, Yicheng Qian authored at least 13 papers between 2022 and 2025.

Collaborative distances:

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

2025

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

CoRR, May, 2025

Memory-efficient Sketch Acceleration for Handling Large Network Flows on FPGAs.

Zhaoyang Han, Yicheng Qian, Michael Zink, Miriam Leeser

CoRR, April, 2025

MiniYOIR: ultra-lightweight infrared remote sensing image object detection algorithm based on YOLOv8 (Erratum).

Mi Wen, Chenyang Li, Yicheng Qian, Yunsheng Xue, Xiaoqing Yu, Yun Su

J. Electronic Imaging, 2025

MiniYOIR: ultra-lightweight infrared remote sensing image object detection algorithm based on YOLOv8.

Mi Wen, Chenyang Li, Yicheng Qian, Yunsheng Xue, Xiaoqing Yu, Yun Su

J. Electronic Imaging, 2025

Lean-Auto: An Interface Between Lean 4 and Automated Theorem Provers.

Yicheng Qian, Joshua Clune, Clark W. Barrett, Jeremy Avigad

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

lean-smt: An SMT Tactic for Discharging Proof Goals in Lean.

Abdalrhman Mohamed, Tomaz Mascarenhas, Muhammad Harun Ali Khan, Haniel Barbosa, Andrew Reynolds, Yicheng Qian, Cesare Tinelli, Clark W. Barrett

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

Electronically Steerable Mobile Optical-Wireless Mesh-Network.

Suman Bhunia, Yicheng Qian, Mahmudur Khan

Proceedings of the IEEE International Systems Conference, 2024

Duper: A Proof-Producing Superposition Theorem Prover for Dependent Type Theory.

Joshua Clune, Yicheng Qian, Alexander Bentkamp, Jeremy Avigad

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2023

Protection Window Based Security-Aware Scheduling against Schedule-Based Attacks.

Jiankang Ren, Chunxiao Liu, Chi Lin, Ran Bi, Simeng Li, Zheng Wang, Yicheng Qian, Zhichao Zhao, Guozhen Tan

ACM Trans. Embed. Comput. Syst., October, 2023

Weakly Supervised Video Representation Learning with Unaligned Text for Sequential Videos.

Sixun Dong, Huazhang Hu, Dongze Lian, Weixin Luo, Yicheng Qian, Shenghua Gao

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

2022

Neighbor Discovery in a LoRa Assisted Multi-Transceiver Free-Space-Optical Network.

Jessica Vazquez-Estrada, Suman Bhunia, Mahmudur Khan, Yicheng Qian, Nero Tran Huu

Proceedings of the IEEE Wireless Communications and Networking Conference, 2022

SVIP: Sequence VerIfication for Procedures in Videos.

Yicheng Qian, Weixin Luo, Dongze Lian, Xu Tang, Peilin Zhao, Shenghua Gao

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022

Neighbor Discovery in a Multi-Transceiver Free-Space-Optical Ad Hoc Network.

Jessica Vazquez-Estrada, Suman Bhunia, Mahmudur Khan, Yicheng Qian, Nero Tran Huu

Proceedings of the 19th IEEE Annual Consumer Communications & Networking Conference, 2022