Does the barber shave himself?
I have argued the same theme elsewhere. Formal reasoning over LLM output is the next step for AI. Where do we go for funding?
Does the barber shave himself?
I have argued the same theme elsewhere. Formal reasoning over LLM output is the next step for AI. Where do we go for funding?