3 ms·
The Lean 4 community is quite optimistic about combining LLMs and theorem provers for proof assistance and formalization.
by ykonstant 3y ago
The Lean 4 community is quite optimistic about combining LLMs and theorem provers for proof assistance and formalization.