Researchers at TU Wien have discovered an unexpected connection between two very different areas of artificial intelligence: Large Language Models (LLMs) can help solve logical problems—without ...