Comment
Comment by jmogly
How do you know that the llm is correctly translating the english queries to the verifiable primitives? It seems like it’s just pushing the problem to another layer?
No comments yet
Be the first to share your thoughts.