Symbolic Logic Based LLM 5 points by sandeeptshelvan 3 days ago Why big AI labs not building LLM that fully trained on Symbolic logic instead of Natural language?
NoahZuniga 18 hours ago Because most useful things in our real world aren't expressed in symbolic logic. Also Google with alpha proof has shown that LLMs trained on Natural language can produce pretty good symbolic logic as output.
Because most useful things in our real world aren't expressed in symbolic logic. Also Google with alpha proof has shown that LLMs trained on Natural language can produce pretty good symbolic logic as output.