I'm still waiting for people to combine LLMs with logic engines (prolog) or proof assistants. LLMs are afaik not designed to reason. But they can probably be us

I'm still waiting for people to combine LLMs with logic engines (prolog) or proof assistants. LLMs are afaik not designed to reason. But they can probably be used to construct formal statements that can be processed by logic engines.