Zulip Chat Archive

Stream: general

Topic: gptf

Zhengying (Mar 17 2022 at 09:01):

Has anyone used lean-gptf?

I'm having a hard time configuring the OpenAI API key and I'm not even sure whether it's working correctly... Can I just use the same API as that of GPT-3?

Riccardo Brasca (Mar 17 2022 at 09:13):

There is a stream dedicated to lean-gptf, you can ask there.

Riccardo Brasca (Mar 17 2022 at 09:14):

I can move you message there if you wish

Jason Rute (Mar 17 2022 at 12:40):


Last updated: Aug 03 2023 at 10:10 UTC