https://platoaistream.net/plato-data/efficient-verification-of-ground-states-of-frustration-free-hamiltonians/