Hacker News new | ask | show | jobs
by lambdas 116 days ago
Sorry, I mean verify the semantics of what the LLM has generated is exactly what you were asking for.
1 comments
mkehrt 115 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.
link