Yingte Xu
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Gilles Bartheonce
- Li Zhouonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| A Unified Assertion-Based Framework for Classical-Quantum Program Verification | PLanQC 2026 | 2026-01-12 |
Proposes an assertion-based verification framework that marks classical registers by classicality by subtype so all variables remain quantum but some satisfy… | ||
| Automating equational proofs in Dirac notation | POPL 2025 | 2025-01-19 |
Proves that Dirac notation’s first-order theory is decidable by reducing formulas to the theory of real closed fields (Tarski) and shows practical equivalence… | ||
| nothing matches | ||