G github.com ProofOfThought: LLM-based reasoning using Z3 theorem proving https://arxiv.org/abs/2409.17270 326 points barthelomew 1 year ago 175 comments
