Similar ideas Certified Reasoning with Language Models https://github.com/gpoesia/certified-reasoning https://github.com/gpoesia/certified-reasoning It's ba

Similar ideas Certified Reasoning with Language Models https://github.com/gpoesia/certified-reasoning https://github.com/gpoesia/certified-reasoning It's based on Peano, a theorem proving environment Peano: Learning Formal Mathematical Reasoning https://arxiv.org/abs/2211.15864 https://arxiv.org/abs/2211.15864 (https://github.com/kyegomez/LOGICGUIDE https://github.com/kyegomez/LOGICGUIDE claims to implement the same paper as the first repo but it is fake)