Yi Lee

According to our database, Yi Lee authored at least 11 papers between 2014 and 2024.

Collaborative distances:

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

2024

Qafny: A Quantum-Program Verifier (Artifact).

Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, Xiaodi Wu

Dagstuhl Artifacts Ser., 2024

MC-indexing: Effective Long Document Retrieval via Multi-view Content-aware Indexing.

Kuicai Dong, Derrick-Goh-Xin Deik, Yi Lee, Hao Zhang, Xiangyang Li, Cong Zhang, Yong Liu

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2024, 2024

Qafny: A Quantum-Program Verifier.

Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, Xiaodi Wu

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023

Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium.

Manuel Barbosa, Gilles Barthe, Christian Doczkal, Jelle Don, Serge Fehr, Benjamin Grégoire, Yu-Hsuan Huang, Andreas Hülsing, Yi Lee, Xiaodi Wu

IACR Cryptol. ePrint Arch., 2023

2022

Quantum Natural Proof: A New Perspective of Hybrid Quantum-Classical Program Verification.

Liyi Li, Mingwei Zhu, Yi Lee, Le Chang, Xiaodi Wu

CoRR, 2022

Constant-Round Blind Classical Verification of Quantum Sampling.

Kai-Min Chung, Yi Lee, Han-Hsuan Lin, Xiaodi Wu

Proceedings of the Advances in Cryptology - EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30, 2022

2021

FOX-NAS: Fast, On-device and Explainable Neural Architecture Search.

Chia-Hsiang Liu, Yu-Shin Han, Yuan-Yao Sung, Yi Lee, Hung-Yueh Chiang, Kai-Chiang Wu

Proceedings of the IEEE/CVF International Conference on Computer Vision Workshops, 2021

The 2020 Low-Power Computer Vision Challenge.

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

Proceedings of the 3rd IEEE International Conference on Artificial Intelligence Circuits and Systems, 2021

2020

Round Efficient Secure Multiparty Quantum Computation with Identifiable Abort.

Bar Alon, Hao Chung, Kai-Min Chung, Mi-Ying Huang, Yi Lee, Yu-Ching Shen

IACR Cryptol. ePrint Arch., 2020

2018

A Simple Robotic Eye-In-Hand Camera Positioning and Alignment Control Method Based on Parallelogram Features.

Ching-Long Shih, Yi Lee

Robotics, 2018

2014

Collaborations across Knowledge boundary: an E-Learning Case.

Tsai-Hsin Chu, Yi Lee

Proceedings of the 18th Pacific Asia Conference on Information Systems, 2014