Li, Liyi
- A Formal Model of Checked C
2022/01/31 by Liyi Li, Yiyun Liu, Li, Liyi +9 · 2 voices
#cs.PL #cs.SE
- Seed1.5-Thinking: Advancing Superb Reasoning Models with Reinforcement Learning
2025/04/10 by Seed, ByteDance, :, Chen, Jiaze +267 · 65 citations
#Computation and Language (cs.CL) #FOS: Computer and information sciences
- Qunity: A Unified Language for Quantum and Classical Computing (Extended Version)
2022/04/26 by Finn Voichick, Voichick, Finn, Liyi Li +5 · 10 citations
Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph)
- A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm
2022/04/14 by Yuxiang Peng, Peng, Yuxiang, Kesha Hietala +11 · 2 citations
Computer Science · #Quantum Computing Algorithms and Architecture #Logic, programming, and type systems #Cryptography and Data Security
- Verified Compilation of Quantum Oracles
2021/12/13 by Liyi Li, Li, Liyi, Finn Voichick +9 · 1 citation
Computer Science · #Cloud Computing and Resource Management #FOS: Computer and information sciences #FOS: Physical sciences #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph)