2 ms·
am i understanding it right that this is used to validate the output of llms? any other uses for distributed lean? genuinely curious
by ncgl 9mo ago
am i understanding it right that this is used to validate the output of llms? any other uses for distributed lean? genuinely curious
- UltraSane 9mo agoLean is an automated theorem prover. It decides if a given proof is true or not. This uses LLMs to try to write proofs for a given problem