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?
5 points by sandeeptshelvan 3 days ago
Why big AI labs not building LLM that fully trained on Symbolic logic instead of Natural language?
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.