• mspencer712@programming.dev
    link
    fedilink
    English
    arrow-up
    2
    ·
    9 months ago

    You might be presenting it backwards. We need LLMs to be right-sized for translation between pure logical primitives and human language. Let a theorem prover or logical inference system (probably written in Prolog :-) ) provide the smarts. A LLM can help make the front end usable by regular people.