Hacker News new | ask | show | jobs
by jmogly 49 days 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?