Print Join the Discussion View in the ACM Digital Library The mathematical reasoning performed by LLMs is fundamentally different from the rule-based symbolic methods in traditional formal reasoning.
Engineers at the University of California San Diego have developed a new way to train artificial intelligence systems to ...
Abstract: Expensive constrained multi-objective optimization problems (ECMOPs) are prevalent in engineering practice and are characterized by extremely high evaluation costs for both objective and ...
Do you stare at a math word problem and feel completely stuck? You're not alone. These problems mix reading comprehension ...
Chain-of-Thought (CoT) prompting has enhanced the performance of Large Language Models (LLMs) across various reasoning tasks.
Chain-of-Thought (CoT) prompting has enhanced the performance of Large Language Models (LLMs) across various reasoning tasks. However, CoT still falls ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results