3 ms·
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 l
by jmogly 5mo ago
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?