Скачать
Mini-Course on LEAN 4 (5/5)
Автор: Institute for Mathematical Sciences
Загружено: 2025-04-09
Просмотров: 111
Описание:
P5 Topics on the Practice of LLM Tools in Lean 4
Yutong Wang
National University of Singapore, Singapore
In the previous sections, we have introduced some recent LLM tools in Lean 4, especially the ones for auto-formalization and auto-proving. In this lecture, I will show you the basic concepts and techniques behind these tools, and how you can use them to improve your efficiency in both formal and informal research. I will also try to introduce to you some recent progress in the field of LLM reasoning in mathematics.
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
