Certified Reasoning with Language Models 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://github.com/kyegomez/LOGICGUIDE claims to implement the same paper as the first repo but it is fake)
Certified Reasoning with Language Models 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://github.com/kyegomez/LOGICGUIDE claims to implement the same paper as the first repo but it is fake)