4 ms·
I have argued the same theme elsewhere. Formal reasoning over LLM output is the next step for AI. Where do we go for funding?
by drpbl 1y ago
I have argued the same theme elsewhere. Formal reasoning over LLM output is the next step for AI.
Where do we go for funding?