On the occupancy fraction of the antiferromagnetic Ising model. - Ewan Davies; Olivia LeBlanc (CoRR, 2024)