The Power of Symbolic Reasoning

During my recent visit to the Whitney Museum in New York, I was introduced to the pioneering work of Harold Cohen, an artist and computer scientist who created AARON, a mechanical artist. Quite surprisingly, Harold invented the software in the late 1960s at the University of California and named it AARON in the early 1970s. […]

Bridging the gap between LLMs and symbolic reasoning

Researchers have introduced a novel approach called natural language embedded programs (NLEPs) to improve the numerical and symbolic reasoning capabilities of large language models (LLMs). The technique involves prompting LLMs to generate and execute Python programs to solve user queries, then output solutions in natural language. While LLMs like ChatGPT have demonstrated impressive performance on […]