search

teacherpeterpan / Logic-LLM

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

Regarding reproduction of results #9

Open abhinandan12345678 opened 5 months ago

abhinandan12345678 commented 5 months ago

I tried to run the models as per the commands in readme but it is giving "Error in generating example". In the requirements.txt the changes i made are: changed certifi @ file:///croot/certifi_1671487769961/work/certifi to certifi==2022.12.7, because the url was giving error. removed sklearn as it got deprecated. Can anyone please help me regarding this issue.

MisakiWho commented 3 months ago

Just run pip install scikit-learn

priamai commented 1 month ago

This is the minimum it requires to run in requirements.txt replace:


backoff==2.2.1
z3-solver==4.12.2.0
openai==0.27.9
tqdm
nltk==3.8.1
ply==3.11
scitools-pyke==1.1.1
func-timeout==4.3.5