Abstract: Convolutionally precoded polar codes known as polarization-adjusted convolutional (PAC) codes are a promising variant of polar codes for short block lengths ...

Combining the creativity of artificial intelligence with the rigor of formal specification methods and the power of formal ...