[drpbl]

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