ProofOfThought: LLM-based reasoning using Z3 theorem provinggithub.com/DebarghaG326 pointsbarthelomew9 months agohttps://arxiv.org/abs/2409.17270