Discover

Information Theory, Quantum States, Long-term Preservation, Error Correction

Low Density Parity Check, Quantum Error Correction, Surface Codes, Fault Tolerance

Quantum Channels, Entanglement, Quantum Cryptography, Information Processing

Quantum Information, Error Correction, Schumacher Compression, Quantum Channels

Quantum Information, Error Correction, Future Storage, Quantum Channels

Surface Codes, LDPC, Topological Protection, Error Correction

Gate Decomposition, Circuit Synthesis, Quantum Computing, Hardware Design

Information Theory, Error Correction, Channel Capacity, Quantum Communication

Shor's Algorithm, Grover Search, Quantum Supremacy, Error Correction

Rank-N Types, Predicative Polymorphism, System F, Impredicativity

PyMC, probabilistic programming, Bayesian modeling, Stan, MCMC

proximal operator, ISTA, ADMM, sparse optimization

Teaching Formal Methods, Interactive Learning, Mathematical Education, Verification Training, Beginner Proofs

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Curry-Howard, Proposition Types, Constructive Logic, Verification

Squash Types, Proposition Equality, Setoid Model, Type Theory

Large-scale Verification, Proof Maintenance, Formal Development, Mathematical Software

Verified Preservation, Formal Guarantees, Type Safety, Archive Correctness

Program Verification, Certified Compilation, Type Safety, Mobile Code

Verified Preservation, Formal Guarantees, Type Safety, Correctness Proofs