Does llmstep project still work?

Stream: Machine Learning for Theorem Proving

[ZeHe]

I tried to run llmstep according to the GitHub project instructions, but it threw an error and now I don't know how to solve it.Here are screenshots of the specific situation.

image.png

[ZeHe]

ZeHe said:

I tried to run llmstep according to the GitHub project instructions, but it threw an error and now I don't know how to solve it.Here are screenshots of the specific situation.

image.png

Anyone knows？

[Thomas Zhu]

I don't work on llmstep, but this problem looks hard to identify without knowing your specific system setup and steps to reproduce the error. I would encourage you to open an issue on llmstep: https://github.com/wellecks/llmstep/issues/new, with your system setup details and steps to reproduce the error.