search

teacherpeterpan / Logic-LLM

The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"
MIT License
244 stars 38 forks source link

Added hugging face support #7

Open wernerolaf opened 6 months ago

wernerolaf commented 6 months ago

following changes were done:

  1. added hugging-face support
  2. removed duplicated utils file
  3. results for Llama-2 family of models and for Mistral