3 ms·
I would think Lean and other formal languages are the real gold standard. But none of them really have enough training data for LLMs to be any good at them.
by IshKebab 11mo ago
I would think Lean and other formal languages are the real gold standard.
But none of them really have enough training data for LLMs to be any good at them.