Comment by lambdas 3 days ago Sorry, I mean verify the semantics of what the LLM has generated is exactly what you were asking for. 1 comment lambdas Reply mkehrt 2 days ago I don't understand that. If it has a correct statement of the theorem and no `believe-me`s or whatever, it should be correct.
mkehrt 2 days ago I don't understand that. If it has a correct statement of the theorem and no `believe-me`s or whatever, it should be correct.
I don't understand that. If it has a correct statement of the theorem and no `believe-me`s or whatever, it should be correct.