William Spencer
Identifiers
- name variant William Spencer 0.60 · backfill
Papers (2)
- TensorRocq: Enabling diagrammatic reasoning in Rocq cs.LO · 2026 · author #2
- VyZX: Formal Verification of a Graphical Quantum Language cs.PL · 2023 · author #4
Mentions
- 2604.17592 #2 · arxiv_oai · confidence 0.70 William Spencer
Frequent Coauthors
- Robert Rand 2 shared papers
- Adrian Lehmann 1 shared papers
- Aleks Kissinger 1 shared papers
- Ben Caldwell 1 shared papers
- Benjamin Caldwell 1 shared papers
- Bhakti Shah 1 shared papers