cindermond / leap

Implementation of the methods described in our paper "Explicit Planning Helps Language Models in Logical Reasoning"
MIT License
22 stars 3 forks source link