issues
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
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
random backup code fix
#11
priamai
opened
1 month ago
0
Logic Inference Sigkil Exit code 137
#10
priamai
opened
1 month ago
1
Regarding reproduction of results
#9
abhinandan12345678
opened
5 months ago
2
Why Pyke instead of SWI-Prolog?
#8
wead-hsu
closed
6 months ago
1
Added hugging face support
#7
wernerolaf
opened
8 months ago
0
About the reproduction and OpenAI deprecated models
#6
RutaTang
closed
9 months ago
1
Problems with running the code
#5
wernerolaf
closed
1 year ago
2
About the reproduction.
#4
jumptoliujj
opened
1 year ago
6
Why each dataset is paired with only one inference engine?
#3
ziadloo
closed
1 year ago
1
The answer given by pyke is incorrect despite that the formation is correct.
#2
Shujie24
opened
1 year ago
0
Will Pyke always give the correct answer for the query
#1
Some-random
opened
1 year ago
2