Browse all research

Every Research Watch entry, newest first. Search, or narrow by topic, format, peer review, publisher and date.

Filters
Topic
Format
Peer review
Publisher
Added

1211 entries

The summaries are open to everyone. Sign in, free, to read the full entry.

A preprint extends bit-vector checks to larger quantum error-correcting circuits

Original title: Generalised Bit-Vector Abstractions for Formal Verification of Quantum Error-Detection and Entanglement Circuits over {H,X,C-NOT}: CSS Constructions, Soundness, and Mutation-Based Validation

A preprint reports an SMT-based abstraction verified on larger error-correcting and GHZ circuits with up to 262,144 qubits.

Arun Govindankutty · Added