https://puzzlellms.github.io/posts/Logic-LM/