Symbolic Logic Based LLM 9 months ago Why big AI labs not building LLM that fully trained on Symbolic logic instead of Natural language? 1 comment sandeeptshelvan Reply Add to library NoahZuniga 9 months 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.
NoahZuniga 9 months 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.