Yicheng Qian

22 papers A* 2B 2Journal 11Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Dual-path complementary attention network for neonatal seizure detection.
Biomed. Signal Process. Control.
Yicheng Qian, Wei Zheng, Weicheng Zhou, Youbing Feng, Xiaolong Li, Qingxian Mo
2025 J jnl
AutoNeural: Co-Designing Vision-Language Models for NPU Inference.
CoRR
Wei Chen, Liangmin Wu, Yunhai Hu, Zhiyuan Li, Zhiyuan Cheng, Yicheng Qian, Lingyue Zhu, Zhipeng Hu, Luoyi Liang, Qiang Tang, Zhen Liu, Han Yang
2025 — conf
Lean-Auto: An Interface Between Lean 4 and Automated Theorem Provers.
CAV (3)
Yicheng Qian, Joshua Clune, Clark W. Barrett, Jeremy Avigad
2025 J jnl
Lean-SMT: An SMT tactic for discharging proof goals in Lean.
CoRR
Abdalrhman Mohamed, Tomaz Mascarenhas, Harun Khan, Haniel Barbosa, Andrew Reynolds, Yicheng Qian, Cesare Tinelli, Clark W. Barrett
2025 J jnl
Lean-auto: An Interface between Lean 4 and Automated Theorem Provers.
CoRR
Yicheng Qian, Joshua Clune, Clark W. Barrett, Jeremy Avigad
2025 J jnl
Memory-efficient Sketch Acceleration for Handling Large Network Flows on FPGAs.
CoRR
Zhaoyang Han, Yicheng Qian, Michael Zink, Miriam Leeser
2025 J jnl
MiniYOIR: ultra-lightweight infrared remote sensing image object detection algorithm based on YOLOv8 (Erratum).
J. Electronic Imaging
Mi Wen, Chenyang Li, Yicheng Qian, Yunsheng Xue, Xiaoqing Yu, Yun Su
2025 J jnl
MiniYOIR: ultra-lightweight infrared remote sensing image object detection algorithm based on YOLOv8.
J. Electronic Imaging
Mi Wen, Chenyang Li, Yicheng Qian, Yunsheng Xue, Xiaoqing Yu, Yun Su
2025 — conf
Miniature: Fast AI Supercomputer Networks Simulation on FPGAs.
APNet
Yicheng Qian, Ran Shu, Rui Ma, Yang Wang, Derek Chiou, Nadeen Gebara, Luca Piccolboni, Miriam Leeser, Yongqiang Xiong
2025 — conf
RealBench: A Chinese Multi-image Understanding Benchmark Close to Real-world Scenarios.
EMNLP (Findings)
Fei Zhao, Chengqiang Lu, Yufan Shen, Qimeng Wang, Yicheng Qian, Haoxin Zhang, Yan Gao, Wu Yi, Yao Hu, Zhen Wu, Shangyu Xing, Xinyu Dai
2025 J jnl
RealBench: A Chinese Multi-image Understanding Benchmark Close to Real-world Scenarios.
CoRR
Fei Zhao, Chengqiang Lu, Yufan Shen, Qimeng Wang, Yicheng Qian, Haoxin Zhang, Yan Gao, Yi Wu, Yao Hu, Zhen Wu, Shangyu Xing, Xinyu Dai
2025 — conf
lean-smt: An SMT Tactic for Discharging Proof Goals in Lean.
CAV (3)
Abdalrhman Mohamed, Tomaz Mascarenhas, Harun Khan, Haniel Barbosa, Andrew Reynolds, Yicheng Qian, Cesare Tinelli, Clark W. Barrett
2024 B conf
Duper: A Proof-Producing Superposition Theorem Prover for Dependent Type Theory.
ITP
Joshua Clune, Yicheng Qian, Alexander Bentkamp, Jeremy Avigad
2024 — conf
Electronically Steerable Mobile Optical-Wireless Mesh-Network.
SysCon
Suman Bhunia, Yicheng Qian, Mahmudur Khan
2024 — conf
Memory-Efficient Sketch Acceleration for Handling Large Network Flows on FPGAs.
ICFPT
Zhaoyang Han, Yicheng Qian, Michael Zink, Miriam Leeser
2023 J jnl
Protection Window Based Security-Aware Scheduling against Schedule-Based Attacks.
ACM Trans. Embed. Comput. Syst.
Jiankang Ren, Chunxiao Liu, Chi Lin, Ran Bi, Simeng Li, Zheng Wang, Yicheng Qian, Zhichao Zhao, Guozhen Tan
2023 A* conf
Weakly Supervised Video Representation Learning with Unaligned Text for Sequential Videos.
CVPR
Sixun Dong, Huazhang Hu, Dongze Lian, Weixin Luo, Yicheng Qian, Shenghua Gao
2023 J jnl
Weakly Supervised Video Representation Learning with Unaligned Text for Sequential Videos.
CoRR
Sixun Dong, Huazhang Hu, Dongze Lian, Weixin Luo, Yicheng Qian, Shenghua Gao
2022 B conf
Neighbor Discovery in a LoRa Assisted Multi-Transceiver Free-Space-Optical Network.
WCNC
Jessica Vazquez-Estrada, Suman Bhunia, Mahmudur Khan, Yicheng Qian, Nero Tran Huu
2022 — conf
Neighbor Discovery in a Multi-Transceiver Free-Space-Optical Ad Hoc Network.
CCNC
Jessica Vazquez-Estrada, Suman Bhunia, Mahmudur Khan, Yicheng Qian, Nero Tran Huu
2022 A* conf
SVIP: Sequence VerIfication for Procedures in Videos.
CVPR
Yicheng Qian, Weixin Luo, Dongze Lian, Xu Tang, Peilin Zhao, Shenghua Gao
2021 J jnl
SVIP: Sequence VerIfication for Procedures in Videos.
CoRR
Yicheng Qian, Weixin Luo, Dongze Lian, Xu Tang, Peilin Zhao, Shenghua Gao