Symbolic Logic Based LLM 5 points by sandeeptshelvan a day ago Why big AI labs not building LLM that fully trained on Symbolic logic instead of Natural language?