3 ms·
There is a project to connect GPT-4 and lean, but I doubt they will make a lot of progress until they can finetune GPT-4. https://www.youtube.com/watch?v=CEwRM
by sebzim4500 3y ago
There is a project to connect GPT-4 and lean, but I doubt they will make a lot of progress until they can finetune GPT-4.
https://www.youtube.com/watch?v=CEwRMT0GpKo https://www.youtube.com/watch?v=CEwRMT0GpKo