Yi Lee

18 papers A 1Journal 10Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Scalable Open-Source QEC System with Sub-Microsecond Decoding-Feedback Latency.
CoRR
Junyi Liu, Yi Lee, Yilun Xu, Gang Huang, Xiaodi Wu
2025 J jnl
Bird Species Classification Using Image Background Removal for Data Augmentation.
Comput. Mater. Continua
Yu-Xiang Zhao, Yi Lee
2025 J jnl
RISC-Q: A Generator for Real-Time Quantum Control System-on-Chips Compatible with RISC-V.
CoRR
Junyi Liu, Yi Lee, Haowei Deng, Connor Clayton, Gengzhi Yang, Xiaodi Wu
2024 — conf
MC-indexing: Effective Long Document Retrieval via Multi-view Content-aware Indexing.
EMNLP (Findings)
Kuicai Dong, Derrick-Goh-Xin Deik, Yi Lee, Hao Zhang, Xiangyang Li, Cong Zhang, Yong Liu
2024 J jnl
Qafny: A Quantum-Program Verifier (Artifact).
Dagstuhl Artifacts Ser.
Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, Xiaodi Wu
2024 A conf
Qafny: A Quantum-Program Verifier.
ECOOP
Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, Xiaodi Wu
2023 — conf
Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium.
CRYPTO (5)
Manuel Barbosa, Gilles Barthe, Christian Doczkal, Jelle Don, Serge Fehr, Benjamin Grégoire, Yu-Hsuan Huang, Andreas Hülsing, Yi Lee, Xiaodi Wu
2023 J jnl
Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Gilles Barthe, Christian Doczkal, Jelle Don, Serge Fehr, Benjamin Grégoire, Yu-Hsuan Huang, Andreas Hülsing, Yi Lee, Xiaodi Wu
2022 — conf
Constant-Round Blind Classical Verification of Quantum Sampling.
EUROCRYPT (3)
Kai-Min Chung, Yi Lee, Han-Hsuan Lin, Xiaodi Wu
2022 J jnl
Quantum Natural Proof: A New Perspective of Hybrid Quantum-Classical Program Verification.
CoRR
Liyi Li, Mingwei Zhu, Yi Lee, Le Chang, Xiaodi Wu
2021 — conf
FOX-NAS: Fast, On-device and Explainable Neural Architecture Search.
ICCVW
Chia-Hsiang Liu, Yu-Shin Han, Yuan-Yao Sung, Yi Lee, Hung-Yueh Chiang, Kai-Chiang Wu
2021 J jnl
FOX-NAS: Fast, On-device and Explainable Neural Architecture Search.
CoRR
Chia-Hsiang Liu, Yu-Shin Han, Yuan-Yao Sung, Yi Lee, Hung-Yueh Chiang, Kai-Chiang Wu
2021 — conf
Round Efficient Secure Multiparty Quantum Computation with Identifiable Abort.
CRYPTO (1)
Bar Alon, Hao Chung, Kai-Min Chung, Mi-Ying Huang, Yi Lee, Yu-Ching Shen
2021 — conf
The 2020 Low-Power Computer Vision Challenge.
AICAS
Xiao Hu, Ming-Ching Chang, Yuwei Chen, Rahul Sridhar, Zhenyu Hu, Yunhe Xue, Zhenyu Wu, Pengcheng Pi, Jiayi Shen, Jianchao Tan, Xiangru Lian, Ji Liu, Zhangyang Wang, Chia-Hsiang Liu, Yu-Shin Han, Yuan-Yao Sung, Yi Lee, Kai-Chiang Wu, Wei-Xiang Guo, Rick Lee, Shengwen Liang, Zerun Wang, Guiguang Ding, Gang Zhang, Teng Xi, Yubei Chen, Han Cai, Ligeng Zhu, Zhekai Zhang, Song Han, Seonghwan Jeong, YoungMin Kwon, Tianzhe Wang, Jeffery Pan
2020 J jnl
Constant-round Blind Classical Verification of Quantum Sampling.
CoRR
Kai-Min Chung, Yi Lee, Han-Hsuan Lin, Xiaodi Wu
2020 J jnl
Round Efficient Secure Multiparty Quantum Computation with Identifiable Abort.
IACR Cryptol. ePrint Arch.
Bar Alon, Hao Chung, Kai-Min Chung, Mi-Ying Huang, Yi Lee, Yu-Ching Shen
2018 J jnl
A Simple Robotic Eye-In-Hand Camera Positioning and Alignment Control Method Based on Parallelogram Features.
Robotics
Ching-Long Shih, Yi Lee
2014 — conf
Collaborations across Knowledge boundary: an E-Learning Case.
PACIS
Tsai-Hsin Chu, Yi Lee