Wei-Lun Tsai

Identifiers

• name variant Wei-Lun Tsai 0.60 · backfill

Papers (2)

1. A Practical Specification Language for Automatic Quantum Program Verification (Technical Report) cs.LO · 2026 · author #1
2. AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (Technical Report) cs.LO · 2024 · author #7

Mentions

• 2605.05786 #1 · backfill · confidence 0.70 Wei-Lun Tsai

Frequent Coauthors

• Ond\v{r}ej Leng\'al 2 shared papers
• Yu-Fang Chen 2 shared papers
• Jyun-Ao Lin 1 shared papers
• Kai-Min Chung 1 shared papers
• Min-Hsiu Hsieh 1 shared papers
• Wei-Jia Huang 1 shared papers