Zulip Chat Archive

Stream: lean-gptf

Lean GPT-f beta (57 messages, latest: Jun 18 2022 at 17:41)
LeanStep (2 messages, latest: Dec 29 2021 at 11:09)
✔ unable to use gptf (4 messages, latest: Dec 16 2021 at 08:32)
OpenAI gpt-f key (18 messages, latest: Oct 11 2021 at 10:16)
(deleted) (1 message, latest: Sep 29 2021 at 02:48)
How exactly does GPTF perform its search algorithm? (4 messages, latest: Sep 22 2021 at 11:12)
unable to use gptf (27 messages, latest: Sep 06 2021 at 06:05)
Install? (27 messages, latest: Jul 13 2021 at 23:49)
Lean REPL (1 message, latest: Jun 01 2021 at 09:15)
using gptf on olympiad problems (13 messages, latest: Apr 06 2021 at 12:57)
Using gptf in mathlib development (8 messages, latest: Mar 09 2021 at 16:54)
GPTf and PACT talk today (4 messages, latest: Mar 05 2021 at 23:33)
PACT paper (1 message, latest: Feb 15 2021 at 19:53)
Automatic lemma name suggestion (14 messages, latest: Feb 09 2021 at 04:50)
New model (4 messages, latest: Feb 05 2021 at 11:34)
simplicity (9 messages, latest: Jan 31 2021 at 15:17)
What should I put in this field? (2 messages, latest: Jan 31 2021 at 11:04)
Robust rewrites (1 message, latest: Jan 29 2021 at 21:40)
Custom prefixes (2 messages, latest: Jan 29 2021 at 21:38)
Asynchronous prediction handling (1 message, latest: Jan 29 2021 at 21:37)
Troubleshooting (8 messages, latest: Jan 20 2021 at 19:35)
Feature requests (3 messages, latest: Jan 19 2021 at 04:03)
stream events (1 message, latest: Jan 18 2021 at 16:32)

Last updated: May 02 2025 at 03:31 UTC