4 ms·
Not strictly what you're looking for, but in Lean (functional language/theorem prover), there's some interesting work being done. Using the tool actually shows
by aureianimus 3y ago
Not strictly what you're looking for, but in Lean (functional language/theorem prover), there's some interesting work being done. Using the tool actually shows which suggestions will compile, which certifies correctness to some degree. https://leandojo.org/ https://leandojo.org/
- isaacfung 3y agoSimilar 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)