5 ms·
Sorry, I mean verify the semantics of what the LLM has generated is exactly what you were asking for.
by lambdas 7mo ago
Sorry, I mean verify the semantics of what the LLM has generated is exactly what you were asking for.
- mkehrt 7mo agoI don't understand that. If it has a correct statement of the theorem and no `believe-me`s or whatever, it should be correct.