8 ай бұрынLean Together 2024: Kaiyu Yang, Large Language Models as Copilots for Theorem Proving in Lean Рет қаралды 768leanprover community 33 0 Жүктеу
Пікірлер: 1