lean-gptf icon indicating copy to clipboard operation
lean-gptf copied to clipboard

Published 20 hours ago • verified publisher icon jesse-michael-han

Getting Invalid Organization error

Open saisurbehera opened this issue 2 years ago • 3 comments

[gptf_proof_search_step] run_best_beam_candidate UNEXPECTED MESSAGE:

["ERROR { "error":{ "code":"invalid_organization", \n "message":"No such organization: org-kuQ09yewcuHU5GN5YYEUp2hh.", \n "param":null, \n "type":"invalid_request_error"}}"]

saisurbehera avatar Apr 13 '22 02:04 saisurbehera

Have you solved this problem? I encountered it, too.

venom12138 avatar Sep 10 '22 11:09 venom12138

They have removed the model now and we don't have access anymore. I did train a separate GPT based model on lean. Feel free to use this. 😀

https://huggingface.co/Saisam/gpt-neo-math-small

saisurbehera avatar Sep 13 '22 19:09 saisurbehera

They have removed the model now and we don't have access anymore. I did train a separate GPT based model on lean. Feel free to use this. 😀

https://huggingface.co/Saisam/gpt-neo-math-small Thanks!!! That helps a lot!

venom12138 avatar Sep 14 '22 14:09 venom12138