William Spencer

Identifiers

• name variant William Spencer 0.60 · backfill

Papers (2)

1. TensorRocq: Enabling diagrammatic reasoning in Rocq cs.LO · 2026 · author #2
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