Tsai, Wei-Lun
- An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Technical Report)
2023/01/18 by Chen, Yu-Fang, Chung, Kai-Min, Lengál, Ondřej +3 · 6 citations
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
- Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report)
2024/10/24 by Parosh Aziz Abdulla, Abdulla, Parosh Aziz, Yo-Ga Chen +15 · 1 voice · 5 citations
Computer Science · #cs.LO #cs.FL
- Quadratic twists of elliptic curves and class numbers
2020/06/01 by Griffin, Michael, Ono, Ken, Tsai, Wei-Lun · 1 citation
#11G05 #11R37 #FOS: Mathematics #Number Theory (math.NT)
- AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (Technical Report)
2024/11/14 by Yu‐Fang Chen, Kai-Min Chung, Chen, Yu-Fang +11 · 3 citations
Computer Science · Engineering · #Quantum Computing Algorithms and Architecture #Radiation Effects in Electronics #Quantum Information and Cryptography
- Distributions of Hook lengths in integer partitions
2022/01/17 by Griffin, Michael, Ono, Ken, Tsai, Wei-Lun · 1 citation
#05A17 #11P82 #Combinatorics (math.CO) #FOS: Mathematics #Number Theory (math.NT)
- Lucas congruences using modular forms
2024/08/29 by Frits Beukers, Beukers, Frits, Wei‐Lun Tsai +3 · 1 citation
Mathematics · Physics and Astronomy · #11F03 #11F11 #Advanced Mathematical Identities #Advanced Mathematical Theories and Applications #Analytic Number Theory Research #FOS: Mathematics #Number Theory (math.NT)
- Euler-type recurrences for t-color and t-regular partition functions
2024/12/18 by Bhowmik, Tapas, Tsai, Wei-Lun, Ye, Dongxi · 1 citation
#05A17 #11F11 #11F25 #11P81 #Combinatorics (math.CO) #FOS: Mathematics #Number Theory (math.NT)