3 ms·
This is similar to what people are trying for mathematical theorem proving. Using LLMs to generate theorems that can be validated in Lean.
by jebarker 3y ago
This is similar to what people are trying for mathematical theorem proving. Using LLMs to generate theorems that can be validated in Lean.