A proof that Reed-Muller codes achieve Shannon capacity on symmetric channels.

Emmanuel Abbe Colin Sandon

Published in: FOCS (2023)

Keyphrases

error correction
artificial intelligence
computational complexity
theorem prover
learning algorithm
information theory
multi channel