Junyi Liu

1. VeriQBench: A Benchmark for Multiple Types of Quantum Circuits
   2022/06/22 by Kean Chen, Chen, Kean, Wang Fang +13 · 6 citations
   Computer Science · Engineering · #Quantum Computing Algorithms and Architecture #Parallel Computing and Optimization Techniques #Radiation Effects in Electronics
2. CoqQ: Foundational Verification of Quantum Programs
   2022/07/22 by Zhou Li, Zhou, Li, Gilles Barthe +7 · 4 citations
   Computer Science · #Quantum Computing Algorithms and Architecture #Computability, Logic, AI Algorithms #Logic, programming, and type systems
3. TCRA-LLM: Token Compression Retrieval Augmented Large Language Model for Inference Cost Reduction
   2023/10/24 by Junyi Liu, Liangzhi Li, Liu, Junyi +7 · 2 citations
   Computer Science · Medicine · #Artificial Intelligence in Healthcare and Education #Computation and Language (cs.CL) #FOS: Computer and information sciences #Information Retrieval (cs.IR) #Natural Language Processing Techniques #Topic Modeling
4. Coupled Learning Enabled Stochastic Programming with Endogenous Uncertainty
   2022/05/01 by Junyi Liu, Guangyu Li, Suvrajeet Sen · 1 citation
5. ALPS: An Auto-Labeling and Pre-training Scheme for Remote Sensing Segmentation With Segment Anything Model
   2024/06/16 by Song Zhang, Qingzhong Wang, Zhang, Song +5 · 1 citation
   Computer Science · #Data Management and Algorithms
6. Managed-Retention Memory: A New Class of Memory for the AI Era
   2025/01/16 by Sergey Legtchenko, Ioan Stefanovici, Legtchenko, Sergey +15 · 1 citation
   Computer Science · Engineering · #Artificial Intelligence (cs.AI) #Distributed #Emerging Technologies (cs.ET) #FOS: Computer and information sciences #Ferroelectric and Negative Capacitance Devices #Hardware Architecture (cs.AR) #Parallel #Parallel Computing and Optimization Techniques #and Cluster Computing (cs.DC)
7. RNA helicase MTR4 aggravates abdominal aortic aneurysm formation by recruiting SRSF1 to regulate TERT alternative splicing
   2026/07/21 by Yajing Li, Keying Tian, Shuolin Li +15
8. S1-Omni: A Unified Multimodal Reasoning Model for Scientific Understanding, Prediction, and Generation
   2026/07/17 by Jiahao Zhao, Junyi Liu, Lifeng Xu +19
   #cs.AI